Foundations of mathematics

Results: 359



#Item
1In…nite Combinatorics and the foundations of regular variation N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ () A. J. Ostaszewski

In…nite Combinatorics and the foundations of regular variation N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ () A. J. Ostaszewski

Add to Reading List

Source URL: www.cdam.lse.ac.uk

Language: English - Date: 2017-04-12 10:30:28
    2Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015

    Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015

    Add to Reading List

    Source URL: www1.maths.leeds.ac.uk

    Language: English - Date: 2015-09-28 09:04:32
      3Internalism and Externalism in the Foundations of Mathematics Axel Arturo Barceló Aspeitia Forthcoming on Carlos Alvarez and Andy Arana (eds.)

      Internalism and Externalism in the Foundations of Mathematics Axel Arturo Barceló Aspeitia Forthcoming on Carlos Alvarez and Andy Arana (eds.)

      Add to Reading List

      Source URL: www.filosoficas.unam.mx

      Language: English - Date: 2013-02-18 15:25:56
        4G¨odel’s unpublished papers on foundations of mathematics W. W. Tait∗ Kurt G¨ odel: Collected Works Volume III [G¨odel, 1995] contains a selection from G¨odel’s Nachlass; it consists of texts of lectures, notes

        G¨odel’s unpublished papers on foundations of mathematics W. W. Tait∗ Kurt G¨ odel: Collected Works Volume III [G¨odel, 1995] contains a selection from G¨odel’s Nachlass; it consists of texts of lectures, notes

        Add to Reading List

        Source URL: home.uchicago.edu

        Language: English - Date: 2002-04-05 02:00:51
          5INDEPENDENCE OF THE EXISTENCE OF PITOWSKY SPIN MODELS ILIJAS FARAH AND MENACHEM MAGIDOR In the last several decades the study of the foundations of Mathematics is dominated by the impact of the independence phenomena in

          INDEPENDENCE OF THE EXISTENCE OF PITOWSKY SPIN MODELS ILIJAS FARAH AND MENACHEM MAGIDOR In the last several decades the study of the foundations of Mathematics is dominated by the impact of the independence phenomena in

          Add to Reading List

          Source URL: www.math.yorku.ca

          Language: English - Date: 2012-12-23 18:05:05
            6Il programma “Univalent Foundations of Mathematics” di Vladimir Voevodsky Nicola Gambino Universit` a degli Studi di Palermo

            Il programma “Univalent Foundations of Mathematics” di Vladimir Voevodsky Nicola Gambino Universit` a degli Studi di Palermo

            Add to Reading List

            Source URL: www1.maths.leeds.ac.uk

            Language: Italian - Date: 2013-05-09 12:23:29
              7Relational Foundations for Functorial Data Migration David Spivak, Ryan Wisnesky Department of Mathematics Massachusetts Institute of Technology {dspivak, wisnesky}@math.mit.edu

              Relational Foundations for Functorial Data Migration David Spivak, Ryan Wisnesky Department of Mathematics Massachusetts Institute of Technology {dspivak, wisnesky}@math.mit.edu

              Add to Reading List

              Source URL: categoricaldata.net

              Language: English - Date: 2015-10-28 17:06:57
                8Laws of Form - An Exploration in Mathematics and Foundations ROUGH DRAFT by Louis H. Kauffman UIC

                Laws of Form - An Exploration in Mathematics and Foundations ROUGH DRAFT by Louis H. Kauffman UIC

                Add to Reading List

                Source URL: homepages.math.uic.edu

                - Date: 2006-02-16 01:23:54
                  9From G¨odel to Lambek: Studies in the Foundations of Mathematics Philip Scott University of Ottawa (Lambekfest, September 21, 2013 CRM, U. de Montr´eal )

                  From G¨odel to Lambek: Studies in the Foundations of Mathematics Philip Scott University of Ottawa (Lambekfest, September 21, 2013 CRM, U. de Montr´eal )

                  Add to Reading List

                  Source URL: www.site.uottawa.ca

                  - Date: 2014-06-16 19:29:00
                    10Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

                    Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

                    Add to Reading List

                    Source URL: events.cs.bham.ac.uk

                    Language: English - Date: 2012-04-26 12:08:31