First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2002-09-25 14:11:15Open Document File Size: 764,26 KBShare Result on FacebookCompanyAsynchronous Networks / / /FacilityUniversity of Melbourne / Philosophy* The University / /IndustryTermformal proof systems / formal systems / serious proof systems / /OrganizationUniversity of Melbourne / Alonzo Church / Department of Computer Science / /PersonAlan Turing / Gregory Chaitin / Carl Friedrich Gauss / Peter Eckersley / Jack Copeland / Bernadette Young / Steven Kleene / Harald Søndergaard / Kurt Gödel / Toby Ord / /Positiontape head / sufficient model for computability / mathematician / /ProgrammingLanguageMathematica / /TechnologyGPS / /SocialTag |