Godel

Results: 130



#Item
12009 Godel Prize The 2009 G¨odel Prize for outstanding papers in the area of theoretical computer science is awarded to (1) Entropy waves, the zig-zag graph product and new constant degree expanders, Omer Reingold, Sal

2009 Godel Prize The 2009 G¨odel Prize for outstanding papers in the area of theoretical computer science is awarded to (1) Entropy waves, the zig-zag graph product and new constant degree expanders, Omer Reingold, Sal

Add to Reading List

Source URL: eatcs.org

Language: English - Date: 2016-09-14 05:19:11
    2Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria

    Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria

    Add to Reading List

    Source URL: www.preining.info

    Language: English - Date: 2005-04-12 18:14:28
      3¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION

      ¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION

      Add to Reading List

      Source URL: home.uchicago.edu

      Language: English - Date: 2005-08-08 21:51:44
        4Logic and the Methodology of Science June 2003 Preliminary Exam August 23, Let L be a finite first-order language whose formulae have been Godel numbered in some natural way. Let Sat be the set of all (Godel numb

        Logic and the Methodology of Science June 2003 Preliminary Exam August 23, Let L be a finite first-order language whose formulae have been Godel numbered in some natural way. Let Sat be the set of all (Godel numb

        Add to Reading List

        Source URL: logic.berkeley.edu

        Language: English - Date: 2018-03-13 00:17:29
          5What is Gödel’s Second Incompleteness Theorem ??? Introductory Remarks

          What is Gödel’s Second Incompleteness Theorem ??? Introductory Remarks

          Add to Reading List

          Source URL: wrm17.mi.ras.ru

          Language: English - Date: 2017-10-23 08:17:52
            6On 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
              7Bithoven Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis Jay McCarthy University of Massachusetts Lowell, USA

              Bithoven Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis Jay McCarthy University of Massachusetts Lowell, USA

              Add to Reading List

              Source URL: jeapostrophe.github.io

              - Date: 2018-04-03 12:30:31
                8Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and Gödel Numberings) Paul Tarau1 1 Department of Computer Science and Engineering

                Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and Gödel Numberings) Paul Tarau1 1 Department of Computer Science and Engineering

                Add to Reading List

                Source URL: logic.cse.unt.edu

                - Date: 2013-08-29 06:54:12
                  9Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering

                  Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering

                  Add to Reading List

                  Source URL: logic.cse.unt.edu

                  - Date: 2010-05-18 10:11:53
                    10Bithoven Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis Jay McCarthy University of Massachusetts Lowell

                    Bithoven Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis Jay McCarthy University of Massachusetts Lowell

                    Add to Reading List

                    Source URL: jeapostrophe.github.io

                    - Date: 2016-08-24 14:47:41