Alan Turing’s Biography

Source: http://www.biography.com/people/alan-turing-9512017

Famed mathematician Alan Turing proved in his 1936 paper, “On Computable Numbers,”  that a universal algorithmic method of determining truth in math cannot exist.

Synopsis

Alan Turing was born on June 23, 1912, in London. In his seminal 1936 paper, he proved that there cannot exist any universal algorithmic method of determining truth in mathematics, and that mathematics will always contain undecidable propositions. That paper also introduced the “Turing machine. His papers on the subject are widely acknowledged as the foundation of research in artificial intelligence.

Early Life

English scientist Alan Turing was born Alan Mathison Turing on June 23, 1912, in Maida Vale, London, England. At a young age, he displayed signs of high intelligence, which some of his teachers recognized, but did not necessarily respect. When Turing attended the well-known independent Sherborne School at the age of 13, he became particularly interested in math and science.

turing

After Sherborne, Turing enrolled at King’s College (University of Cambridge) in Cambridge, England, studying there from 1931 to 1934. As a result of his dissertation, in which he proved the central limit theorem, Turing was elected a fellow at the school upon his graduation.

In 1936, Turing delivered a paper, “On Computable Numbers, with an Application to the Entscheidungsproblem,” in which he presented the notion of a universal machine (later called the “Universal Turing Machine,” and then the “Turing machine”) capable of computing anything that is computable: The central concept of the modern computer was based on Turing’s paper.

Over the next two years, Turing studied mathematics and cryptology at the Institute for Advanced Study in Princeton, New Jersey. After receiving his Ph.D. from Princeton University in 1938, he returned to Cambridge, and then took a part-time position with the Government Code and Cypher School, a British code-breaking organization.

Cryptanalysis and Early Computers

During World War II, Turing was a leading participant in wartime code-breaking, particularly that of German ciphers. He worked at Bletchley Park, the GCCS wartime station, where he made five major advances in the field of cryptanalysis, including specifying the bombe, an electromechanical device used to help decipher German Enigma encrypted signals. Turing’s contributions to the code-breaking process didn’t stop there: He also wrote two papers about mathematical approaches to code-breaking, which became such important assets to the Code and Cypher School (later known as the Government Communications Headquarters) that the GCHQ waited until April 2012 to release them to the National Archives of the United Kingdom.

enigma

Turing moved to London in the mid-1940s, and began working for the National Physical Laboratory. Among his most notable contributions while working at the facility, Turing led the design work for the Automatic Computing Engine and ultimately created a groundbreaking blueprint for store-program computers. Though a complete version of the ACE was never built, its concept has been used as a model by tech corporations worldwide for several years, influencing the design of the English Electric DEUCE and the American Bendix G-15—credited by many in the tech industry as the world’s first personal computer—among other computer models.

Turing went on to hold high-ranking positions in the mathematics department and later the computing laboratory at the University of Manchester in the late 1940s. He first addressed the issue of artificial intelligence in his 1950 paper, “Computing machinery and intelligence,” and proposed an experiment known as the “Turing Test”—an effort to create an intelligence design standard for the tech industry. Over the past several decades, the test has significantly influenced debates over artificial intelligence.

Homosexuality, Conviction and Death

Homosexuality was illegal in the United Kingdom in the early 1950s, so when Turing admitted to police—who he called to his house after a break-in—in January, 1952, that he had had a sexual relationship with the perpetrator, 19-year-old Arnold Murray, he was charged with gross indecency. Following his arrest, Turing was forced to choose between temporary probation on the condition that he receive hormonal treatment for libido reduction, or imprisonment. He chose the former, and soon underwent chemical castration through injections of a synthetic estrogen hormone for a year, which eventually rendered him impotent.

As a result of his conviction, Turing’s security clearance was removed and he was barred from continuing his work with cryptography at the GCCS, which had become the GCHQ in 1946.

Turing died on June 7, 1954. Following a postmortem exam, it was determined that the cause of death was cyanide poisoning. The remains of an apple were found next to the body, though no apple parts were found in his stomach. The autopsy reported that “four ounces of fluid which smelled strongly of bitter almonds, as does a solution of cyanide” was found in the stomach. Trace smell of bitter almonds was also reported in vital organs. The autopsy concluded that the cause of death was asphyxia due to cyanide poisoning and ruled a suicide.

In a June 2012 BBC article, philosophy professor and Turing expert Jack Copeland argued that Turing’s death may have been an accident: The apple was never tested for cyanide, nothing in the accounts of Turing’s last days suggested he was suicidal and Turing had cyanide in his house for chemical experiments he conducted in his spare room.

OLYMPUS DIGITAL CAMERA

Image: Bombe rebuild.

Awards, Recognition and Apology

Shortly after World War II, Alan Turing was awarded an Order of the British Empire for his work. For what would have been his 86th birthday, Turing biographer Andrew Hodges unveiled an official English Heritage blue plaque at his childhood home. In June 2007, a life-size statue of Turing was unveiled at Bletchley Park, in Buckinghamshire, England. A bronze statue of Turing was unveiled at the University of Surrey on October 28, 2004, to mark the 50th anniversary of his death. Additionally, the Princeton University Alumni Weekly named Turing the second most significant alumnus in the history of the school – James Madison held the number 1 position.

Turing was honored in a number of other ways, particularly in the city of Manchester, where he worked toward the end of his life. In 1999, Timemagazine named him one of its “100 Most Important People of the 20th century,” saying, “The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine.” Turing was also ranked 21st on the BBC nationwide poll of the “100 Greatest Britons” in 2002. By and large, Turing has been recognized for his impact on computer science, with many crediting him as the “founder” of the field.

Following a petition started by John Graham-Cumming, then-Prime Minister Gordon Brown released a statement on September 10, 2009 on behalf of the British government, posthumously apologized to Turing for prosecuting him as a homosexual.

More: http://www.turing.org.uk/scrapbook/ww2.html

Advertisements

A Symbolic Analysis of Relay and Switching Circuits

“A Symbolic Analysis of Relay and Switching Circuits”, đó là tên của luận văn thạc sĩ về Khoa học máy tính của Claude E. Shannon bảo vệ tại MIT (Massachusetts Institute of Technology) năm 1937.

Shannon-front-thesis

Ảnh: Bìa cuốn luận văn của C. Shannon (nguồn: Internet).

Telephone_exchange_Montreal_QE3_33

Montreal telephone exchange (Wikipedia.org)

Trong luận văn này, Shannon đã chứng tỏ rằng Đại số Boole có thể sử dụng để rút gọn hay đơn giản hóa sự sắp xếp của các rơ le trong các khối của các thiết bị viễn thông cơ điện tự động trong mạng điện thoại (building blocks of the electromechanical automatic telephone exchanges). Ông cũng chứng minh rằng sự sắp xếp các rơ le cũng có thể áp dụng để giải các bài toán của Đại số Boole…

Claude_Elwood_Shannon_(1916-2001)

Claude E. Shannon (nguồn: Wikipedia.org)

Nhà tâm lý học Gardner đã miêu tả luận văn của Shannon như một “luận văn thạc sĩ quan trọng nhất, và cũng nổi tiếng nhất hết mức có thể, và là luận văn của thế kỷ”. Ngày nay, Shannon được xem như cha đẻ của lý thuyết thông tin (information theory).

Lược dịch từ: https://en.wikipedia.org/wiki/A_Symbolic_Analysis_of_Relay_and_Switching_Circuits

Xem thêm về tiểu sử của Shannon: https://en.wikipedia.org/wiki/Claude_Shannon

Một định nghĩa khác của Đại số Boole

Ta đã được làm quen trong giáo trình về ĐS Boole, sau đây là một định nghĩa khác của Đại số Boole trong đó phép toán AND ký hiệu là phép nhân \cdot , phép OR ký hiệu là +.

Định nghĩa:

Một tập hợp khác rỗng B = (a, b, c, \dots) với hai phép toán nhị phân OR ký hiệu là + và AND ký hiệu là \cdot và phép lấy phần bù ' là một Đại số Boole nếu các phần tử đều thỏa mãn tính chất như sau:

B.I. Luật giao hoán,

(i) a + b = b + a

(ii) a.b = b.a

B.II. Luật phân phối,

(i) a.(b + c) =a.b + a.c

(ii) a+(b.c) = (a + b).(a + c)

B.III. Sự tồn tại của các phần tử đồng nhất,

Tồn tại cac phần tử  0, 1 sao cho

a + 0 = a

a.1 =a

B.IV. Sự tồn tại của phần bù,

a + a' = 1

a. a' = 0

Với định nghĩa như trên thì ĐS Boole có những tương ứng với lý thuyết tập hợp và logic thể hiện qua bảng sau:

boolean

Một số tính chất của ĐS Boole và chứng minh các bạn có thể xem qua:

Nguồn: http://www.sciencehq.com/mathematics/boolean-algebra-2.html