Godel - PDFSEARCH.IO - Document Search Engine

Godel
Results: 130

#	Item
111	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Mathematical constructivism Model theory Predicate logic Formal languages Interpretation Realizability First-order logic Gödel–Gentzen negative translation Prenex normal form Logic Mathematical logic Proof theory
112	IS THE CONTINUUM HYPOTHESIS A DEFINITE MATHEMATICAL PROBLEM? Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2011-10-02 02:02:57 Proof theory Continuum hypothesis Forcing Hypotheses Kurt Gödel Conjecture Set theory Decidability Truth Mathematical logic Logic Mathematics
113	I944Î BOOK REVIEWS Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:40:41 Lambda calculus Theory of computation Computability theory Logic in computer science Mathematical logic Combinatory logic Function Well-formed formula Gödel numbering Mathematics Theoretical computer science Logic
114	national academy of sciences Kurt GÖdel Add to Reading List Source URL: www.nasonline.org Language: English - Date: 2012-07-16 13:50:50 Model theory Predicate logic Formal languages Formal systems Logical syntax First-order logic Interpretation Axiom Well-formed formula Logic Mathematical logic Mathematics
115	The Gödel Prize[removed]Laudatio The Gödel Prize 2012 for outstanding papers in theoretical computer science Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2012-05-16 04:12:21 Academia Algorithmic game theory Algorithmic mechanism design Éva Tardos Price of anarchy Kurt Gödel Christos Papadimitriou Gödel Prize Algorithm Game theory Science Computer science
116	2009 Godel Prize The 2009 G¨odel Prize for outstanding papers in the area of theoretical computer Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2009-11-03 08:49:42 Salil Vadhan Zig-zag product Expander graph Omer Reingold Avi Wigderson Gödel Prize SL Connectivity Graph Graph theory Theoretical computer science Mathematics
117	The Xavier Zubiri Review, Vol. 3, [removed], pp[removed]Aproximación del realismo matemático de Gödel al Add to Reading List Source URL: www.zubiri.org Language: Spanish - Date: 2006-04-25 14:14:54
118	people-sept.indd Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-08-12 11:02:18 Sanjeev Arora Gödel Prize Joseph S. B. Mitchell International Colloquium on Automata Languages and Programming ACM SIGACT Travelling salesman problem Burton Rodin Mathematics Kurt Gödel Theoretical computer science Applied mathematics Computer science
119	nov04b.dvi Add to Reading List Source URL: home.coqui.net Language: English - Date: 2013-03-20 06:00:20 Algebra Order Structure Modular arithmetic Approximately finite dimensional C*-algebra Gödel–Gentzen negative translation Abstract algebra Group theory Mathematics
120	PDF Document Add to Reading List Source URL: dml.cz Formal systems Ladislav Rieger Kurt Gödel Rieger Axiom Jaroslav Kurzweil Mathematics Logic Philosophy