Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, philosopher, professor and editor who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside his student Alan Turing, Church is considered one of the founders of computer science. Life Alonzo Church was born on June 14, 1903, in Washington, D.C., where his father, Samuel Robbins Church, was a Justice of the Peace and the judge of the Municipal Court for the District of Columbia. He was the grandson of Alonzo Webster Church (1829-1909), United States Senate Librarian from 1881-1901, and great grandson of Alonzo Church, a Professor of Mathematics and Astronomy and 6th Pr ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Stephen Cole Kleene
Stephen Cole Kleene ( ; January 5, 1909 – January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene's work grounds the study of computable functions. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixed-point theorem. He also invented regular expressions in 1951 to describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuitionism. Biography Kleene was awarded a bachelor's degree from Amherst College in 1930. He was awarded a Ph.D. in mathematics from Princeton University in 1934, where his thesis, entitled ''A Theory of Positi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Springer Nature
Springer Nature or the Springer Nature Group is a German-British academic publishing company created by the May 2015 merger of Springer Science+Business Media and Holtzbrinck Publishing Group's Nature Publishing Group, Palgrave Macmillan, and Macmillan Education. History The company originates from a number of journals and publishing houses, notably Springer-Verlag, which was founded in 1842 by Julius Springer in Berlin (the grandfather of Bernhard Springer who founded Springer Publishing in 1950 in New York), Nature Publishing Group which has published ''Nature (journal) , Nature'' since 1869, and Macmillan Education, which goes back to Macmillan Publishers founded in 1843. Springer Nature was formed in 2015 by the merger of Nature Publishing Group, Palgrave Macmillan and Macmillan Education (held by Holtzbrinck Publishing Group) with Springer Science+Business Media (held by BC Partners). Plans for the merger were first announced on 15 January 2015. The transaction was concluded ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *''Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *''Lecture Notes in Physics'' *''Lecture Notes in Mathematics'' *''Electronic Workshops in Computing ''Electronic Workshops in Computing'' (eWiC) is a publication series by the British Computer Society. The series provides free online access for conferences and workshops in the area of computing. For example, the EVA London Conference proceeding ...'', published by the British Computer Society References External links * Publications established in 1973 Computer science books Series of non-fiction books Springer ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Alan Turing
Alan Mathison Turing (; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general-purpose computer. He is widely considered to be the father of theoretical computer science and artificial intelligence. Born in Maida Vale, London, Turing was raised in southern England. He graduated at King's College, Cambridge, with a degree in mathematics. Whilst he was a fellow at Cambridge, he published a proof demonstrating that some purely mathematical yes–no questions can never be answered by computation and defined a Turing machine, and went on to prove that the halting problem for Turing machines is undecidable. In 1938, he obtained his PhD from the Department of Mathemati ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Raymond Smullyan
Raymond Merrill Smullyan (; May 25, 1919 – February 6, 2017) was an American mathematician, magician, concert pianist, logician, Taoist, and philosopher. Born in Far Rockaway, New York, his first career was stage magic. He earned a BSc from the University of Chicago in 1955 and his PhD from Princeton University in 1959. He is one of many logicians to have studied with Alonzo Church. Life He was born on May 25, 1919, in Far Rockaway, Queens, New York, to an Ashkenazi Jewish family. His father was Isidore Smullyan, who was born in Russia but who emigrated to Belgium when young, and whose native language was French. His father was a businessman who graduated from the University of Antwerp. His mother was Rosina Smullyan (née Freeman), who was born and raised in London. She was a painter, who was also an actress. Both parents were musical, his father playing the violin and his mother playing the piano. He was the youngest of three children. His eldest brother, Emile Benoit Smul ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Norman Shapiro
Norman Zalmon Shapiro was an American mathematician, who was the co-author of the Rice–Shapiro theorem. Education Shapiro obtained a BS in Mathematics at University of Illinois in 1952. Shapiro spent the summer of 1954 at Bell Laboratories in Murray Hill, New Jersey where, in collaboration with Karel de Leeuw, Ed Moore, and Claude Shannon, he investigated the question of whether providing a Turing machine augmented with an oracle machine producing an infinite sequence of random events (like the tosses of a fair coin) would enable the machine to output a non-computable sequence. The well-known efficacy of Monte Carlo methods might have led one to think otherwise, but the result was negative. Stated precisely: : An infinite string, S, on a finite alphabet is computable if it can be output with probability one by a Turing machine augmented by an oracle machine giving an infinite sequence of equal-probability zeroes and ones. Moreover, the result continues to hold if the output pr ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dana Scott
Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory. Early career He received his B.A. in Mathematics from the University of California, Berkeley, in 1954. He wrote his Ph.D. thesis on ''Convergent Sequences of Complete Theories'' under the supervision of Alonzo Church while at Princeton, and defended his thesis in 1958. Solomon Feferman (2005) writes of this period: After completing his Ph.D. studies, he moved to the University of Chicago, working as an instructor there until 1960. In 1959, he pu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hartley Rogers, Jr
Hartley Rogers Jr. (July 6, 1926 – July 17, 2015) was a mathematician who worked in computability theory, and was a professor in the Mathematics Department of the Massachusetts Institute of Technology. Biography Born in 1926 in Buffalo, New York, he studied under Alonzo Church at Princeton, and received his Ph.D. there in 1952. He served on the MIT faculty from 1956 until his death, July 17, 2015. He is survived by his wife, Dr. Adrianne E. Rogers, by his three children, Hartley R. Rogers, Campbell D.K. Rogers, and Caroline R. Broderick, and by his 10 grandchildren. At MIT he had been involved in many scholarly extracurricular activities, including running SPUR (Summer Program in Undergraduate Research) for MIT undergraduates, overseeing the mathematics section of RSI (Research Science Institute) for advanced high school students, and coaching the MIT Putnam exam team for nearly two decades starting in 1990, including the years 2003 and 2004 when MIT won for the first time since ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Nicholas Rescher
Nicholas Rescher (; ; born 15 July 1928) is a German-American philosopher, polymath, and author, who has been a professor of philosophy at the University of Pittsburgh since 1961. He is chairman of the Center for Philosophy of Science and was formerly chairman of the philosophy department. Rescher has served as president for the American Catholic Philosophical Association, Leibniz Society of North America, American Metaphysical Society, American Philosophical Association, and Charles S. Peirce Society. He is the founder of ''American Philosophical Quarterly'', '' History of Philosophy Quarterly'', and ''Public Affairs Quarterly''. Early life and education Nicholas Rescher was born in Hagen in the Westphalia region of Germany. In his autobiography he traces his descent to Nehemias Rescher (1735-1801), a founder of the Hochberg-Remseck Jewish community in Swabian Germany. He relocated to the United States when he was 10 and obtained a degree in mathematics at Queens College, New Y ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Michael O
Michael may refer to: People * Michael (given name), a given name * Michael (surname), including a list of people with the surname Michael Given name "Michael" * Michael (archangel), ''first'' of God's archangels in the Jewish, Christian and Islamic religions * Michael (bishop elect), English 13th-century Bishop of Hereford elect * Michael (Khoroshy) (1885–1977), cleric of the Ukrainian Orthodox Church of Canada * Michael Donnellan (1915–1985), Irish-born London fashion designer, often referred to simply as "Michael" * Michael (footballer, born 1982), Brazilian footballer * Michael (footballer, born 1983), Brazilian footballer * Michael (footballer, born 1993), Brazilian footballer * Michael (footballer, born February 1996), Brazilian footballer * Michael (footballer, born March 1996), Brazilian footballer * Michael (footballer, born 1999), Brazilian footballer Rulers =Byzantine emperors= *Michael I Rangabe (d. 844), married the daughter of Emperor Nikephoros I * Mi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gary R
Gary may refer to: *Gary (given name), a common masculine given name, including a list of people and fictional characters with the name *Gary, Indiana, the largest city named Gary Places ;Iran *Gary, Iran, Sistan and Baluchestan Province ;United States *Gary (Tampa), Florida * Gary, Maryland *Gary, Minnesota *Gary, South Dakota *Gary, West Virginia *Gary – New Duluth, a neighborhood in Duluth, Minnesota *Gary Air Force Base, San Marcos, Texas * Gary City, Texas Ships * USS ''Gary'' (DE-61), a destroyer escort launched in 1943 * USS ''Gary'' (CL-147), scheduled to be a light cruiser, but canceled prior to construction in 1945 * USS ''Gary'' (FFG-51), a frigate, commissioned in 1984 * USS ''Thomas J. Gary'' (DE-326), a destroyer escort commissioned in 1943 People and fictional characters *Gary (surname), including a list of people with the name *Gary (rapper), South Korean rapper and entertainer *Gary (Argentine singer), Argentine singer of cuarteto songs Other uses *'' Gary: ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |