Back to Results
First PageMeta Content
Mathematics / Computability theory / Mathematical logic / Turing machine / Alan Turing / Hypercomputation / Computability / Church–Turing thesis / Entscheidungsproblem / Theoretical computer science / Theory of computation / Computer science


Document Date: 2002-09-25 14:11:15

Open Document

File Size: 764,26 KB

Share Result on Facebook

Company

Asynchronous Networks / /

/

Facility

University of Melbourne / Philosophy* The University / /

IndustryTerm

formal proof systems / formal systems / serious proof systems / /

Organization

University of Melbourne / Alonzo Church / Department of Computer Science / /

Person

Alan Turing / Gregory Chaitin / Carl Friedrich Gauss / Peter Eckersley / Jack Copeland / Bernadette Young / Steven Kleene / Harald Søndergaard / Kurt Gödel / Toby Ord / /

Position

tape head / sufficient model for computability / mathematician / /

ProgrammingLanguage

Mathematica / /

Technology

GPS / /

SocialTag