Intuitionism

Results: 125



#Item
11A note on the monotone functional interpretation Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany April 18, 2011

A note on the monotone functional interpretation Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany April 18, 2011

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2011-04-18 10:49:58
12G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt

G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2009-02-16 11:06:50
13Math. Log. Quart, 1 – 4 Mathematical Logic Quarterly c WILEY-VCH Verlag Berlin GmbH 2001

Math. Log. Quart, 1 – 4 Mathematical Logic Quarterly c WILEY-VCH Verlag Berlin GmbH 2001

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2007-01-13 09:21:39
14Intuitionism, Generalized Computability and Effective Operations Jaap van Oosten Department of Mathematics, Utrecht University Heyting Day, February 27, 2015

Intuitionism, Generalized Computability and Effective Operations Jaap van Oosten Department of Mathematics, Utrecht University Heyting Day, February 27, 2015

Add to Reading List

Source URL: phil.uu.nl

Language: English - Date: 2015-03-04 09:53:17
    15A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands

    A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands

    Add to Reading List

    Source URL: www.cs.ru.nl

    Language: English - Date: 2009-05-27 06:08:40
    16Intuitionistic Mathematics and Realizability in the Physical World Andrej Bauer University of Ljubljana January 18, 2012 Abstract

    Intuitionistic Mathematics and Realizability in the Physical World Andrej Bauer University of Ljubljana January 18, 2012 Abstract

    Add to Reading List

    Source URL: math.andrej.com

    Language: English - Date: 2014-03-04 10:52:34
    17Liberal Neutrality: A Compelling and Radical Principle Gerald F. Gaus 1 Introductory Compared to other debates in contemporary political philosophy, the light-to-heat

    Liberal Neutrality: A Compelling and Radical Principle Gerald F. Gaus 1 Introductory Compared to other debates in contemporary political philosophy, the light-to-heat

    Add to Reading List

    Source URL: www.gaus.biz

    Language: English - Date: 2009-08-23 20:04:53
    18

    PDF Document

    Add to Reading List

    Source URL: www.acsu.buffalo.edu

    Language: English - Date: 2010-03-08 16:56:19
    19The University of Calgary Department of Philosophy PhilosophyPHILOSOPHY OF MATHEMATICS Winter 2005 — Richard Zach

    The University of Calgary Department of Philosophy PhilosophyPHILOSOPHY OF MATHEMATICS Winter 2005 — Richard Zach

    Add to Reading List

    Source URL: ucalgary.ca

    Language: English - Date: 2008-10-27 16:48:35
    20G¨odel’s interpretation of intuitionism W. W. Tait∗ Abstract G¨odel regarded the Dialectica interpretation as giving constructive content to intuitionism, which otherwise failed to meet reasonable conditions of con

    G¨odel’s interpretation of intuitionism W. W. Tait∗ Abstract G¨odel regarded the Dialectica interpretation as giving constructive content to intuitionism, which otherwise failed to meet reasonable conditions of con

    Add to Reading List

    Source URL: home.uchicago.edu

    Language: English - Date: 2006-04-08 16:37:11