Gödel

Results: 130



#Item
1

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
    2

    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

      Add to Reading List

      Source URL: home.uchicago.edu

      Language: English - Date: 2005-08-08 21:51:44
        4

        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
          5

          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
            6

            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
              7

              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
                8

                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
                  9

                  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
                    10

                    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
                      UPDATE