Godel - PDFSEARCH.IO - Document Search Engine

Godel
Results: 130

#	Item
121	[removed]pdf Add to Reading List Source URL: www.waltersorrentino.com.br Language: English - Date: 2012-02-06 10:12:38 Complex systems theory Douglas Hofstadter Kurt Gödel Complexity Faber and Faber Gödel Escher Bach Italo Calvino Copyright Science Literature Knowledge
122	Microsoft Word - tHPL Ivor Grattan-Guinness.doc Add to Reading List Source URL: www.tandf.co.uk Language: English - Date: 2012-10-23 10:33:37 Ivor Grattan-Guinness Philosophers of mathematics Analytic philosophers Linguistic turn Cambridge University Moral Sciences Club Fellows of the Royal Society Bertrand Russell Kurt Gödel John Corcoran British people Philosophy Mathematics
123	PDF Document Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2005-05-16 19:55:49 Theoretical computer science Cynthia Dwork Larry Stockmeyer Symposium on Theory of Computing Dwork ACM SIGACT PH Gödel Prize Ronald Fagin Computer science Computing Applied mathematics
124	PDF Document Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2004-01-23 12:07:32 Computing Functional languages Escher Logic programming Gödel Procedural programming Programming language Prolog Declarative programming Software engineering Programming paradigms Computer programming
125	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2011-08-26 15:36:59 Association for Women in Mathematics Mathematical Sciences Research Institute Lipman Bers American Mathematical Society Kurt Gödel George Mostow Peter Hilton Academia Science Mathematics
126	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2008-01-24 13:53:14 Guggenheim Fellows Douglas Hofstadter Philosophy of mind Strange loop I Am a Strange Loop Inverted spectrum Gödel Escher Bach Self-reference Consciousness Cognitive science Philosophy Analytic philosophers
127	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-02 10:18:56 Proof theory Model theory Computability theory Functions and mappings Dialectica interpretation Intuitionism Interpretation Symbol Gödel–Gentzen negative translation Mathematical logic Logic Mathematics
128	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-05-18 10:50:53 Verifiable secret sharing Interactive proof system Claude Crépeau Gödel Prize Pseudorandom function family Zero-knowledge proof Provable security Oblivious transfer Non-interactive zero-knowledge proof Cryptography Cryptographic protocols Silvio Micali
129	PDF Document Add to Reading List Source URL: calteches.library.caltech.edu Language: English Science Logical positivism Analytic philosophers Philosophers of science Mathematical logic Kurt Gödel Ernst Zermelo David Hilbert Karl Menger Mathematics Vienna Circle Philosophy
130	PDF Document Add to Reading List Source URL: godel.ph.utexas.edu Language: English