Kurt Gödel

Results: 43



#Item
1On Hopefully Intelligible Contributions to Seminar Series and Related Events (aka. This Talk on Kurt Gödel is not a Pearl of Computation) Álvaro García-Pérez

On Hopefully Intelligible Contributions to Seminar Series and Related Events (aka. This Talk on Kurt Gödel is not a Pearl of Computation) Álvaro García-Pérez

Add to Reading List

Source URL: babel.ls.fi.upm.es

- Date: 2016-05-31 09:35:40
    2Condition for the absence of timelike closed curves How to find new Lorentzian metrics? Comments on spacetime kinematics First example: Metrics with vanishing shear tensor Second example: Gödel metric Third example: Gen

    Condition for the absence of timelike closed curves How to find new Lorentzian metrics? Comments on spacetime kinematics First example: Metrics with vanishing shear tensor Second example: Gödel metric Third example: Gen

    Add to Reading List

    Source URL: xtsunxet.usc.es

    Language: English - Date: 2007-03-09 06:09:06
    3KW 12 Zeitraum Kurt-Gödel-Hörsaal.2016

    KW 12 Zeitraum Kurt-Gödel-Hörsaal.2016

    Add to Reading List

    Source URL: typo3.univie.ac.at

    Language: German - Date: 2016-03-18 06:36:54
      4The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1

      The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1

      Add to Reading List

      Source URL: www.cs.umd.edu

      Language: English - Date: 2013-04-23 16:45:47
      5FLOC 2014 Jan Otop IST Austria September 3, 2013

      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
      6The Slingshot Argument Philosophy 142—John MacFarlane March 28, 2011 Rules for  We assume that the following rules are valid for the  operator:

      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
      7Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus

      Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus

      Add to Reading List

      Source URL: www.multimedialibrary.com

      Language: English - Date: 2005-12-01 07:11:01
      8Remembrances of Kurt Codel by Olga Taussky-Todd , This article is adapted from a talk given in Salzburg in July 1983, The remarks on the

      Remembrances of Kurt Codel by Olga Taussky-Todd , This article is adapted from a talk given in Salzburg in July 1983, The remarks on the

      Add to Reading List

      Source URL: calteches.library.caltech.edu

      Language: English - Date: 2012-12-26 00:26:58
      9Forschungsdatenbank der Universität Zürich Philosophische Fakultät > Philosophisches Seminar > Allgemein > Prof. Dr. Katia Saporiti Gödel and Leibniz Summary / Zusammenfassung The idea of the project is to analyse th

      Forschungsdatenbank der Universität Zürich Philosophische Fakultät > Philosophisches Seminar > Allgemein > Prof. Dr. Katia Saporiti Gödel and Leibniz Summary / Zusammenfassung The idea of the project is to analyse th

      Add to Reading List

      Source URL: www.research-projects.uzh.ch

      Language: English - Date: 2014-11-01 20:50:06
      10History of Contemporary Logic from Boole to Godel

      History of Contemporary Logic from Boole to Godel

      Add to Reading List

      Source URL: www.ontologymirror.com

      Language: English - Date: 2014-05-09 04:12:40