The Church-Turing Thesis Alonzo Church and alan turing formulated the thesis that computability coincides with recursivity; by Jack Copeland. http://plato.stanford.edu/entries/church-turing/
Extractions: Please Read How You Can Help Keep the Encyclopedia Free There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind. The Church-Turing thesis concerns the notion of an effective or mechanical M is set out in terms of a finite number of exact instructions (each instruction being expressed by means of a finite number of symbols); M will, if carried out without error, produce the desired result in a finite number of steps;
Index Of The Turing Digital Archive turing, alan Mathison Fellowship, C/28; turing, alan Mathison inquest, K/6;turing, alan Mathison Kings College, Cambridge, K/1, A/26, A/35, C/28 http://www.turingarchive.org/index/
Extractions: If you can't find what you want in this index, try searching for some key words or phrases or try browsing by category. A diffusion reaction theory of morphogenesis in plants, C/7 A formal theorem in Churchs theory of types, B/29 A method for the calculation of the zeta-function, B/17 A new mechanism which slows simple conditioning, B/34 A note on normal numbers., C/15 A practical form of type theory I, B/3 A practical form of type theory II, C/6 A.M. Turing Award, A/24 A.M. Turings Original Proposal for the Development of an Electronic Computer, B/25 Abraham, M., B/33 ACE (Automatic Computing Engine), B/1 B/2 C/32 Alan Turing : the Enigma, A/38 A/40 D/11 D/12 ... D/13 Alexander, C. Hugh, A/17 Almost periodic functions, B/10 D/11 An electrical hypothesis of central inhibition ..., B/48 Andrews, A.J.P., A/15 Another proof, C/23 Ashby, W. Ross, B/34 Association of Computing Machinery, A/24 Bachman, Charles W., A/24 Ball, W.W. Rouse, B/35 Bates, John A.V., A/5 Baum, Rudy M., A/40 Bayley, Don, A/5 BBC, B/5 B/6 Bemerkungen zu den Grundlagen der Geometrie
ACM: A.M. Turing Award / Niklaus Wirth The Association for Computing Machinery gave Wirth the prestigious alan M. turing Award in 1984 For developing a sequence of innovative computer languages, Euler, AlgolW, Modula, Pascal. Pascal has become pedagogically significant and has provided a foundation for future computer language, systems, and architectural research. http://www.acm.org/awards/turing_citations/wirth.html
Extractions: International Int'l Figures of the Week ... MBA Insider ONLINE FEATURES Columnists Book Reviews BW Video Interactive Gallery ... Past Covers BLOGS Blogspotting Brand New Day Deal Flow Economics Unbound ... Stock Screeners SCOREBOARDS Mutual Funds Info Tech 100 B-SCHOOLS MBA Profiles ... Who's Hiring Grads BW EXTRAS BW Digital Dashboard Widgets Handheld Edition RSS Feeds Podcasts Reprints/Permissions Conferences Investor Workshops Research Services var multiPageRegex = new RegExp("_PG[0-9]*_"); myPage = location.pathname; myPage = myPage.replace(multiPageRegex,"_"); var magRegex = new RegExp("magazine/content/"); myPage = myPage.replace(magRegex,"cgi-bin/register/archiveSearch.cgi?h="); document.write (''); document.write("Find More Stories Like This");
Inventor Alan Turing Fascinating facts about alan turing inventor of an early computer, the turingmachine in 1940. http://www.ideafinder.com/history/inventors/turing.htm
The Virtual Museum Of Computing (VMoC) Links to online resources concerning the history of computing around the world, including pioneers of the field such as alan turing. http://archive.comlab.ox.ac.uk/other/museums/computing.html
Extractions: Virtual Library Museums Computing Now accessible as: vmoc.i.am This virtual museum includes an eclectic collection of World Wide Web (WWW) hyperlinks connected with the history of computing and on-line computer-based exhibits available both locally and around the world. You are visitor number since this museum opened on st June 1995 The museum currently receives about 200 visitors each day. Please mail J.P.Bowen@reading.ac.uk if you know of relevant on-line information not included here. Mirror sites are available in Sweden and USA courtesy of ICOM , and also elsewhere , including the UK , if you experience poor access speed. Automatic redirection to a mirror site is available. EDSAC 99 , 50th Anniversary of the EDSAC 1 computer, Computer Laboratory, University of Cambridge, UK, 15-16 April 1999 50th Anniversary of Joe Lyons' decision to give the go ahead to the building of LEO 15 October 1999 Tommy Flowers , MBE, codebreaking engineer at Bletchley Park who worked on Colossus, died on 28 October 1998, aged 92
Extractions: site map A. M. Turing [ NOV. 12 1936.] On computable numbers, with an application to the Entscheidungsproblem was written by Alan Turing in 1936. Computing machinery and intelligence (Turing) the Turing test and intelligence (abelard) On computable numbers, with an application to the Entscheidungsproblem (Turing) Decision processes (abelard) The document, decision processes by abelard, gives an empiric analysis of the Entscheidungsproblem.. Computing machinery and intelligence was published by Alan Turing in 1950. Does this embedded character z match this character? You will need to use a Microsoft Internet Explorer browser (version 4 or above) to see this document in full. If, on your screen, the embedded character (above on the left) does not appear similar to the character on the right, your browser is unable to display these embedded characters. A suitable browser is available to download (free) from Microsoft Such browsers (Microsoft browsers version 4 and higher) can also be found on many software CD-ROMs.
Alexander Jahn - Alan Turing Und Die Enigma Lebenslauf und Informationen zu den Anf¤ngen der EnigmaEntschl¼sselung. http://www-ivs.cs.uni-magdeburg.de/bs/lehre/wise0102/progb/vortraege/jahn/turing
Alan Turing The account below relies on the book alan turing the Enigma (1983) by AndrewHodges alan turing and his older brother John had a childhood ridigly http://www.math.sfu.ca/histmath/Europe/20thCenturyAD/Turing.html
Extractions: Alan Turing and his older brother John had a childhood ridigly determined by the demands of the class and the exile in India of his parents. Alan and his brother were shuffled amongst various English foster homes as children until their father retired from India in 1926. Alan was niether encouraged nor supported in the foster homes and through his own pursuits found a deep underlying passion for science, first in chemistry experiments. As Alan became more enticed with science his mother worried that he would not be accepted into Sherbourne,the English Public School. However, in 1926 Alan was granted admission into Sherbourne and his mother's fears were dissolved for a short while. Soon after his admission the Headmaster soon reported :"If he is to be solely a scientific specialist, he is wasting his time at a public school." In hindsight, we might say this Headmaster's assessment was almost correct. Many other teachers also made similar remarks
The Turing Test Proposal due to alan turing for a criterion of the presence of mind or consciousness; by Graham Oppy and David Dowe. http://plato.stanford.edu/entries/turing-test/
Extractions: Please Read How You Can Help Keep the Encyclopedia Free Discourse on the Method . (Copeland (2000:527) finds an anticipation of the test in the 1668 writings of the Cartesian de Cordemoy. Gunderson (1964) provides an early instance of those who find that Turing's work is foreshadowed in the work of Descartes.) In the Discourse , Descartes says: logically possible for an entity to pass the kinds of tests that Descartes and (at least allegedly) Turing have in mind to use words (and, perhaps, to act) in just the kind of way that human beings do and yet to be entirely lacking in intelligence, not possessed of a mind, etc. X Y X X is the person and Y X is the machine and Y X please tell me whether X X must answer questions that are addressed to X . The object of the machine is to try to cause the interrogator to mistakenly conclude that the machine is the other person; the object of the other person is to try to help the interrogator to correctly identify the machine. About this game, Turing (1950) says:
Turing, Alan M. -- Encyclopædia Britannica turing, alan M. British mathematician and logician who made major contributionsto mathematics, cryptanalysis, logic, philosophy, and biology and to the new http://www.britannica.com/eb/article-9073839
Extractions: Home Browse Newsletters Store ... Subscribe Already a member? Log in Content Related to this Topic This Article's Table of Contents Introduction Early life and career Code breaker Computer designer Artificial intelligence pioneer ... Print this Table of Contents Shopping Price: USD $1495 Revised, updated, and still unrivaled. The Official Scrabble Players Dictionary (Hardcover) Price: USD $15.95 The Scrabble player's bible on sale! Save 30%. Merriam-Webster's Collegiate Dictionary Price: USD $19.95 Save big on America's best-selling dictionary. Discounted 38%! More Britannica products Turing, Alan M.
Template alan turing was born at Paddington, London. His father, Julius Mathison turing,was a British member of the Indian Civil Service and he was often abroad. http://www.thocp.net/biographies/turing_alan.html
Extractions: related subjects Achievement Biography Alan Turing was born at Paddington, London. His father, Julius Mathison Turing, was a British member of the Indian Civil Service and he was often abroad. Alan's mother, Ethel Sara Stoney, was the daughter of the chief engineer of the Madras railways and Alan's parents had met and married in India. When Alan was about one year old his mother rejoined her husband in India, leaving Alan in England with friends of the family. Alan was sent to school but did not seem to be obtaining any benefit so he was removed from the school after a few months. He was criticised for his handwriting, struggled at English, and even in mathematics he was too interested with his own ideas to produce solutions to problems using the methods taught by his teachers. Despite producing unconventional answers, Turing did win almost every possible mathematics prize while at Sherborne. In chemistry, a subject which had interested him from a very early age, he carried out experiments following his own agenda which did not please his teacher. Turing's headmaster wrote (see for example [5]):- If he is to stay at Public School, he must aim at becoming educated. If he is to be solely a Scientific Specialist, he is wasting his time at a Public School.
Turing_Note alan turing. British mathematician who invented a conceptual machine with hisname (turing machine), which is quite useful for characterizing the essence of http://www.bun.kyoto-u.ac.jp/phisci/Gallery/turing_note.html
Extractions: Alan Turing British mathematician who invented a conceptual machine with his name (Turing machine), which is quite useful for characterizing the essence of computation. Computability by means of a Turing machine can be clearly defined, and it can replace our informal and intuitive notion of computation (Church-Turing Thesis); but as it turns out, it has a definite limitation. "Can there be a Turing machine which can decide, for any pair of a Turing machine and its input tape, whether it will stop after a finite amount of time?" (Halting Problem) Turing proved that there cannot be any such machine (thus the halting problem is one of the "undecidable problems"). This has a close relationship with Goedel's Incompleteness Theorem. Turing worked, during the war, for manufacturing an actual computing machine: the Colossus for deciphering the German cryptography produced by the machine "Enigma". And after the war, Turing published an influential paper "Computing Machinery and Intelligence" ( Mind , 1950) in which he proposed the "Turing Test" for judging whether or not something is "intelligent". This paper soon became a "classic" both in the field of artificial intelligence and philosophy of mind.
Alan Turing Stories involving turing. http://www.wired.com/wired/archive/people/alan_turing/
Biographie De Turing alan turing, mathématicien et logicien anglais, parues dansle magazine Info Science, le Quotidien en ligne. http://www.infoscience.fr/histoire/portrait/turing.html
Extractions: Accueil Actualités En bref Dossiers ... Archives Histoire des sciences Civilisations Portraits Biographies Sciences en culture Livres Cédéroms Télévision Vidéos ... Expositions Dialogues Forums 6 Chat Notre sélection web Vie des universités Petites annonces Adresses Colloques Vie pratique Pollution Météo Astronomie Unités de mesure ... autres portraits Par ses travaux théoriques dans les domaines de la logique et des probabilités, Alan Mathison Turing est considéré, sinon comme le fondateur des ordinateurs, en tout cas comme l'un des pères spirituels de l'intelligence artificielle. Né le 23 juin à Paddington (Londres), Alan est le fils de Julius Mathison, officier de l'armée des Indes et d'Ethel Sarah Turing, fille d'un ingénieur des chemins de fer à Madras. A l'âge d'un an, il est confié par sa mère, qui rejoint alors son mari aux Indes, à la garde d'amis. Le couple ne reviendra en Angleterre qu'en 1926, à la retraite de Julius. Benjamin de la famille, Alan connaît une scolarité sans éclat malgré un esprit brillant et de nettes dispositions pour les sciences. En 1928, à Sherborne School où il est entré deux ans plus tôt, il fait la connaissance de Christopher Marcom. Cette rencontre provoque en lui un déclic et l'amène à s'intéresser réellement à la science et plus exactement aux mathématiques. La relation des deux adolescents s'achève tragiquement en février 1930 avec la mort de Christopher.
Extractions: Alan Turing Alan Mathison Turing was born on 23 June 1912, in a nursing home in Paddington, London. His father Julius was employed in the Indian Civil Service. His father's brother, H. D. Turing, was, at the time, a well known expert on fly fishing. Alan spends his first thirteen years in India suffering through a series of intellectually discouraging English foster homes. Upon returning to England in 1926, he is entered into the Sherborne School. Meets Christopher Morcom in 1928, who was to become one of the key figures in his life. Turing is extremely attracted to Morcom. They form an intellectual companionship, which is highly stimulating to Turing. Morcom dies suddenly in 1930, devastating Turing. Turing then becomes obsessed with the problem of how the human mind is embodied in matter; of how the mind might be preserved after the death. Towards this end, he begins to study quantum mechanics. In 1931, Turing enters King's College in
Janus: The Papers Of Alan Mathison Turing Origination turing, alan Mathison, Meltzer, Bernard and Michie, Donald. Origination turing, alan Mathison. 1 volume and 11 sheets in envelope; paper. http://janus.lib.cam.ac.uk/db/node.xsp?id=EAD/GBR/0272/AMT/B
Extractions: Select Search All Bartleby.com All Reference Columbia Encyclopedia World History Encyclopedia Cultural Literacy World Factbook Columbia Gazetteer American Heritage Coll. Dictionary Roget's Thesauri Roget's II: Thesaurus Roget's Int'l Thesaurus Quotations Bartlett's Quotations Columbia Quotations Simpson's Quotations Respectfully Quoted English Usage Modern Usage American English Fowler's King's English Strunk's Style Mencken's Language Cambridge History The King James Bible Oxford Shakespeare Gray's Anatomy Farmer's Cookbook Post's Etiquette Bulfinch's Mythology Frazer's Golden Bough All Verse Anthologies Dickinson, E. Eliot, T.S. Frost, R. Hopkins, G.M. Keats, J. Lawrence, D.H. Masters, E.L. Sandburg, C. Sassoon, S. Whitman, W. Wordsworth, W. Yeats, W.B. All Nonfiction Harvard Classics American Essays Einstein's Relativity Grant, U.S. Roosevelt, T. Wells's History Presidential Inaugurals All Fiction Shelf of Fiction Ghost Stories Short Stories Shaw, G.B. Stein, G. Stevenson, R.L. Wells, H.G. Reference Columbia Encyclopedia PREVIOUS NEXT ... BIBLIOGRAPHIC RECORD The Columbia Encyclopedia, Sixth Edition. Turing, Alan Mathison
Dictionary Of Philosophy Of Mind - Turing, Alan turing, alan (b. 1912, London, UK, d. 1953, Wilmslow, Cheshire, UK. Ph.D.mathematics, Princeton, 1938). turing was a major influence on the development http://www.artsci.wustl.edu/~philos/MindDict/turing.html
Extractions: we've moved to philosophy.uwaterloo.ca/MindDict . Please update any links and go there for the latest version. Turing, Alan (b. 1912, London, UK, d. 1953, Wilmslow, Cheshire, UK. Ph.D. mathematics, Princeton, 1938). Turing was a major influence on the development of computational theory. The term Turing machine was introduced by Alonzo Church in his 1937 review of Turing's paper in the Journal of Symbolic Logic. Turing proposed the test of thinking in machines that bears his name in a 1950 article in the journal Mind (59, 433-60). See Turing machine Turing test Tadeusz Zawidzki References Zusne, Leonard (1987). Eponyms in psychology . Westport, CT: Greenwood Press. bookstore Last updated: May 11, 2004 Thanks to our sponsors: Logo design by logobee
