Godel - PDFSEARCH.IO - Document Search Engine

Godel
Results: 130

#	Item
101	On Formally Undecidable Propositions of Principia Mathematica Add to Reading List Source URL: jacqkrol.x10.mx Language: English - Date: 2013-09-21 05:15:44 Principia Mathematica Axiom On Formally Undecidable Propositions of Principia Mathematica and Related Systems Kurt Gödel Theorem Rule of inference Peano axioms Metamathematics Formal proof Logic Mathematics Mathematical logic
102	1 2 Add to Reading List Source URL: home.coqui.net Language: English - Date: 2014-01-08 04:14:22 Algebra Order Structure Modular arithmetic Approximately finite dimensional C*-algebra Gödel–Gentzen negative translation Abstract algebra Group theory Mathematics
103	ROTATING UNIVERSES IN GENERAL RELATIVITY THEORY KURT GöDEL Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:22:24 Exact solutions in general relativity Conservation laws Rotational symmetry Rotation General relativity Angular momentum Gravitation Symmetry Vector space Physics Algebra Physical quantities
104	J.A. van Maanen Laudatio for Ivor Grattan-Guinness Add to Reading List Source URL: www.nieuwarchief.nl Language: English - Date: 2012-03-30 12:17:53 Philosophy of mathematics Kurt Gödel Science Fellows of the Royal Society Logicians Number theorists Daniel Bernoulli Mathematics Ivor Grattan-Guinness Philosophy
105	Letter from the President Dear EATCS members, As you might know already, the Council of Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2012-12-11 09:37:11 Applied mathematics International Colloquium on Automata Languages and Programming European Association for Theoretical Computer Science Dijkstra Prize Presburger Award ACM SIGACT Arto Salomaa Gödel Prize Maurice Nivat Computer science Theoretical computer science Spaceflight
106	MFPS[removed]Continuity of Gödel’s system T definable Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-06-03 06:05:55 Mathematics Ordinal numbers Set theory Proof theory General topology Jensen hierarchy Ordinal arithmetic Mathematical logic Symbol Constructible universe
107	SANJEEV ARORA Curriculum Vitae, November[removed]Born in January 1968, in India. US Citizen Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2011-10-30 21:43:54 Symposium on Theory of Computing Sanjeev Arora Symposium on Foundations of Computer Science Mathematical sciences Journal of the ACM Subhash Khot Ran Raz Gödel Prize Computer science Theoretical computer science ACM SIGACT
108	Johan Håstad February 2013 Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2013-02-27 07:36:02 Johan Håstad Gödel Prize Circuit complexity Silvio Micali ACM SIGACT International Colloquium on Automata Languages and Programming Theoretical computer science Applied mathematics Computer science
109	Los fundamentos de la matemática y los teoremas de Gödel Mario A. Natiello Add to Reading List Source URL: www.maths.lth.se Language: Spanish - Date: 2006-10-20 01:24:44
110	SANJEEV ARORA Curriculum Vitae, December[removed]Born in January 1968, in India. US Permanent Resident Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2008-12-16 14:35:34 Sanjeev Arora ACM SIGACT Symposium on Theory of Computing Symposium on Foundations of Computer Science Journal of the ACM Approximation algorithm PH Ran Raz Gödel Prize Theoretical computer science Applied mathematics Computer science

UPDATE