Godel - PDFSEARCH.IO - Document Search Engine

Godel
Results: 130

#	Item
31	SEE-Math 2010 Schedule Godel Group Date Time Add to Reading List Source URL: see-math.math.tamu.edu Language: English - Date: 2010-06-24 21:38:08
32	Skorowidz godeł map znajdujących się w WODGiK Poznań Mapa topograficzna w skali 1:układ "1992" i "1942" NA NA Add to Reading List Source URL: www.wodgik.poznan.pl Language: Polish - Date: 2014-02-12 03:08:00
33	Jürgen Schmidhuber Philosophers & Futurists, Catch Up! Response to The Singularity Add to Reading List Source URL: people.idsia.ch Language: English - Date: 2012-03-14 10:08:45 Time Futurology Theory of computation Philosophy of artificial intelligence Singularitarianism Jürgen Schmidhuber Friendly artificial intelligence Marcus Hutter Gödel machine Science Artificial intelligence Theoretical computer science
34	Skorowidz godeł map znajdujących się w WODGiK Poznań Mapa hydrograficzna w skali 1:układ "1992" i "1942" NA NA Add to Reading List Source URL: www.wodgik.poznan.pl Language: Polish - Date: 2014-02-12 03:08:36
35	FLOC 2014 Jan Otop IST Austria September 3, 2013 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-11 10:24:19 Federated Logic Conference One Tambon One Product IEEE Symposium on Logic in Computer Science Kurt Gödel Society City Airport Train Vienna Kurt Gödel Schengen Area Europe Political geography Austria
36	The Slingshot Argument Philosophy 142—John MacFarlane March 28, 2011 Rules for We assume that the following rules are valid for the operator: Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-28 19:49:51 Model theory Quantification Proof theory Propositional calculus First-order logic Existential quantification Negation Logical equivalence Kurt Gödel Logic Mathematical logic Mathematics
37	Retrospective Review of Godel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter Basic Books, 1979. Ernest Davis, New York University Recently, while trying, like everyone else, to think deep thoughts about Dee Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-03-25 09:10:22 Gödel Escher Bach Johann Sebastian Bach M. C. Escher Pulitzer Prize for General Non-Fiction Computer chess Douglas Lenat Douglas Hofstadter Garry Kasparov Outline of chess Games Chess Dialogues
38	Curriculum Vitae Silvio Micali Ford Professor of Engineering Electrical Engineering and Computer Science Department Stata Center, Room G644, 32 Vassar Street, Cambridge, MA5949 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2015-04-22 20:29:48 Verifiable secret sharing Gödel Prize Interactive proof system Claude Crépeau Pseudorandom function family Probabilistic encryption Oblivious transfer Zero-knowledge proof Provable security Cryptography Cryptographic protocols Silvio Micali
39	[hal, v2] Polarizing Double Negation Translations Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:15:20 Sequent calculus Sequent Entailment Intuitionistic logic Gödel–Gentzen negative translation Natural deduction Curry–Howard correspondence Logic Mathematical logic Proof theory
40	The Peirce Translation Mart´ın Escard´o University of Birmingham, UK Paulo Oliva Queen Mary University of London, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-09 07:02:59 Logic in computer science Proof theory Adjoint functors Gödel–Gentzen negative translation Monad Intuitionistic logic Quantification Peano axioms Witness Logic Mathematical logic Mathematics