Search results for 'Intuitionistic mathematics Congresses' (try it on Scholar)

1000+ found
Sort by:
  1. Fred Richman (ed.) (1981). Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980. [REVIEW] Springer-Verlag.score: 225.0
  2. Mohammad Ardeshir & Rasoul Ramezanian (2009). Decidability and Specker Sequences in Intuitionistic Mathematics. Mathematical Logic Quarterly 55 (6):637-648.score: 198.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Michael A. E. Dummett (1974). Intuitionistic Mathematics and Logic. Mathematical Institute.score: 196.0
  4. Stephen Cole Kleene (1965). The Foundations of Intuitionistic Mathematics. Amsterdam, North-Holland Pub. Co..score: 196.0
     
    My bibliography  
     
    Export citation  
  5. A. S. Troelstra (1975). Axioms for Intuitionistic Mathematics Incompatible with Classical Logic. Mathematisch Instituut.score: 196.0
     
    My bibliography  
     
    Export citation  
  6. A. S. Troelstra (1977). Choice Sequences: A Chapter of Intuitionistic Mathematics. Clarendon Press.score: 196.0
  7. A. Kino, John Myhill & Richard Eugene Vesley (eds.) (1970). Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co..score: 195.0
    Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Takeshi Yamazaki (2001). Reverse Mathematics and Completeness Theorems for Intuitionistic Logic. Notre Dame Journal of Formal Logic 42 (3):143-148.score: 192.0
    In this paper, we investigate the logical strength of completeness theorems for intuitionistic logic along the program of reverse mathematics. Among others we show that is equivalent over to the strong completeness theorem for intuitionistic logic: any countable theory of intuitionistic predicate logic can be characterized by a single Kripke model.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. L. E. J. Brouwer, A. S. Troelstra & D. van Dalen (eds.) (1982). The L.E.J. Brouwer Centenary Symposium: Proceedings of the Conference Held in Noordwijkerhout, 8-13 June 1981. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 180.0
    No categories
     
    My bibliography  
     
    Export citation  
  10. Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.score: 168.0
    We define a system IR of first-order intuitionistic relevant logic. We show that intuitionistic mathematics (on the assumption that it is consistent) can be relevantized, by virtue of the following metatheorem: any intuitionistic proof of A from a setX of premisses can be converted into a proof in IR of eitherA or absurdity from some subset ofX. Thus IR establishes the same inconsistencies and theorems as intuitionistic logic, and allows one to prove every intuitionistic (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Wenceslao J. Gonzalez (1991). Intuitionistic Mathematics and Wittgenstein. History and Philosophy of Logic 12 (2):167-183.score: 164.0
    The relation between Wittgenstein's philosophy of mathematics and mathematical Intuitionism has raised a considerable debate. My attempt is to analyse if there is a commitment in Wittgenstein to themes characteristic of the intuitionist movement in Mathematics and if that commitment is one important strain that runs through his Remarks on the foundations of mathematics. The intuitionistic themes to analyse in his philosophy of mathematics are: firstly, his attacks on the unrestricted use of the Law of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Dag Westerståhl (2004). Perspectives on the Dispute Between Intuitionistic and Classical Mathematics. In Christer Svennerlind (ed.), Ursus Philosophicus. Essays dedicated to Björn Haglund on his sixtieth birthday. Philosophical Communications.score: 148.0
    It is not unreasonable to think that the dispute between classical and intuitionistic mathematics might be unresolvable or 'faultless', in the sense of there being no objective way to settle it. If so, we would have a pretty case of relativism. In this note I argue, however, that there is in fact not even disagreement in any interesting sense, let alone a faultless one, in spite of appearances and claims to the contrary. A position I call classical pluralism (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13. Enrico Martino & Gabriele Usberti (1994). Temporal and Atemporal Truth in Intuitionistic Mathematics. Topoi 13 (2):83-92.score: 146.0
    In section 1 we argue that the adoption of a tenseless notion of truth entails a realistic view of propositions and provability. This view, in turn, opens the way to the intelligibility of theclassical meaning of the logical constants, and consequently is incompatible with the antirealism of orthodox intuitionism. In section 2 we show how what we call the potential intuitionistic meaning of the logical constants can be defined, on the one hand, by means of the notion of atemporal (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. A. Heyting (1955). G. F. C. Griss and His Negationless Intuitionistic Mathematics. Synthese 9 (1):91 - 96.score: 140.0
  15. Dirk Van Dalen (1995). Hermann Weyl's Intuitionistic Mathematics. Bulletin of Symbolic Logic 1 (2):145-169.score: 140.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Dirk Van Dalen (1995). Hermann Weyl's Intuitionistic Mathematics. Bulletin of Symbolic Logic 1 (2):145 - 169.score: 140.0
  17. David Nelson (1949). Review: J. J. De Iongh, Restricted Forms of Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 14 (3):183-184.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Richard Vesley (1979). Review: A. S. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 44 (2):275-276.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Evert Beth (1940). Review: A. Heyting, Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 5 (2):73-74.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Evert W. Beth (1946). Review: G. F. C. Griss, Negation-Free Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 11 (1):24-24.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Evert W. Beth (1947). Review: L. E. J. Brouwer, Directives of Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 12 (4):136-136.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. S. C. Kleene (1948). Review: E. W. Beth, Semantical Considerations on Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 13 (3):173-173.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Andrzej Mostowski (1953). Review: S. C. Kleene, Recursive Functions and Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 18 (2):181-182.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. P. G. J. Vredenduin (1956). Review: A. Heyting, G. F. C. Griss and His Negationaless Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 21 (1):91-91.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. P. G. J. Vredenduin (1954). Review: G. F. C. Griss, Negationless Intuitionistic Mathematics II, III, IV. [REVIEW] Journal of Symbolic Logic 19 (4):296-297.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Evert W. Beth (1947). Review: G. F. C. Griss, Negationless Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 12 (2):62-62.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Alonzo Church (1937). Review: A. Heyting, The Development of Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 2 (2):89-89.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Alonzo Church (1948). Review: G. F. C. Griss, Negationless Intuitionistic Mathematics; J. Ridder, Ueber den Aussagen-und den Engeren Pradikatenkalkul; L. E. J. Brouwer, Richtlijnen der Intuitionistische Wiskunde. [REVIEW] Journal of Symbolic Logic 13 (3):174-174.score: 140.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  29. Alonzo Church (1942). Review: K. Chandrasekharan, The Logic of Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 7 (4):171-171.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. S. C. Kleene (1965). Classical Extensions of Intuitionistic Mathematics. In Yehoshua Bar-Hillel (ed.), Logic, Methodology and Philosophy of Science. Amsterdam, North-Holland Pub. Co.. 2--31.score: 140.0
    No categories
     
    My bibliography  
     
    Export citation  
  31. P. J. M. (1965). The Foundations of Intuitionistic Mathematics. Review of Metaphysics 19 (1):154-155.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Mary Tiles (1978). Choice Sequences: A Chapter of Intuitionistic Mathematics. Philosophical Books 19 (2):77-80.score: 140.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. R. E. Vesley (1967). Review: Clifford Spector, Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated in Current Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 32 (1):128-128.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. P. G. J. Vredenduin (1955). Review: G. F. C. Griss, Logic of Negationless Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 20 (1):67-68.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Arend Heyting (1974). Intuitionistic Views on the Nature of Mathematics. Synthese 27 (1-2):79 - 91.score: 120.0
  36. Joan Rand Moschovakis (1970). Review: Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Jean van Heijenoort, On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mengelberg, On the Domains of Definition of Functions; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Intuitionistic Reflections on Formalism. [REVIEW] Journal of Symbolic Logic 35 (2):332-333.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Th Skolem (1948). Review: D. Van Dantzig, On the Principles of Intuitionistic and Affirmative Mathematics. [REVIEW] Journal of Symbolic Logic 13 (3):173-173.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Daniel Vanderveken & Kendall L. Walton (1991). J. Couture and J. Lambek,'Philosophical Reflections on the Foun-Dations of Mathematics', Erkenntnis 34 (1991) 187-209. In the Statement of “Giidel's Formula G is False in the Free Topos” on Page 201, Line 16 Fb, the Word “False” Should Be Replaced by “Not True”.(As the Internal Language of the Free Topos is Intuitionistic, This. [REVIEW] Erkenntnis 34:187-209.score: 120.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. James R. Geiser (1975). Review: A. S. Yessenin-Volpin, The Ultra-Intuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics. [REVIEW] Journal of Symbolic Logic 40 (1):95-97.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Marek Zawadowski (1995). Pitts Andrew M.. Interpolation and Conceptual Completeness for Pretoposes Via Category Theory. Mathematical Logic and Theoretical Computer Science, Edited by David W. Kueker, Edgar GK Lopez-Escobar and Carl H. Smith, Lecture Notes in Pure and Applied Mathematics, Vol. 106, Marcel Dekker, New York and Basel 1987, Pp. 301–327. Pitts Andrew M.. Conceptual Completeness for First-Order Intuitionistic Logic: An Application of Categorical Logic. Annals of Pure and Applied Logic, Vol. 41 (1989), Pp. 33–81. [REVIEW] Journal of Symbolic Logic 60 (2):692-694.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. I. Erkenntnis 64 (1-2):323-344.score: 114.0
    In a seriesof papers beginning in 1944, the Dutch mathematician and philosopherGeorge Francois Cornelis Griss proposed that constructivemathematics should be developedwithout the use of the intuitionistic negation1 and,moreover, without any use of a nullpredicate.In the present work, we give formalized versions of intuitionisticarithmetic, analysis,and higher-order arithmetic in the spirit ofGriss' ``negationless intuitionistic mathematics''and then consider their relation to thecurrent formalizations of thesetheories.
    Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  42. Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. Erkenntnis 53 (1-2):155-179.score: 114.0
    In a seriesof papers beginning in 1944, the Dutch mathematician and philosopherGeorge Francois Cornelis Griss proposed that constructivemathematics should be developedwithout the use of the intuitionistic negation1 and,moreover, without any use of a nullpredicate.In the present work, we give formalized versions of intuitionisticarithmetic, analysis,and higher-order arithmetic in the spirit ofGriss' ``negationless intuitionistic mathematics''and then consider their relation to thecurrent formalizations of thesetheories.
    No categories
    Direct download (17 more)  
     
    My bibliography  
     
    Export citation  
  43. Richard L. Tieszen (2005). Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge University Press.score: 98.0
    Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this book is divided into three parts. Part I, Reason, Science, and Mathematics contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay oN phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Michael A. E. Dummett (2000). Elements of Intuitionism. Oxford University Press.score: 94.0
    This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Matthias Schirn (ed.) (1998). The Philosophy of Mathematics Today. Clarendon Press.score: 92.0
    This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Javier Echeverría, Andoni Ibarra & Thomas Mormann (eds.) (1992). The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. W. De Gruyter.score: 92.0
    The Protean Character of Mathematics SAUNDERS MAC LANE (Chicago) 1. Introduction The thesis of this paper is that mathematics is protean. ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Stewart Shapiro (ed.) (1985). Intentional Mathematics. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 92.0
    Among the aims of this book are: - The discussion of some important philosophical issues using the precision of mathematics. - The development of formal systems that contain both classical and constructive components. This allows the study of constructivity in otherwise classical contexts and represents the formalization of important intensional aspects of mathematical practice. - The direct formalization of intensional concepts (such as computability) in a mixed constructive/classical context.
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. G. E. Mint͡s (2000). A Short Introduction to Intuitionistic Logic. Kluwer Academic / Plenum Publishers.score: 92.0
    Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Imre Lakatos (ed.) (1967). Problems in the Philosophy of Mathematics. Amsterdam, North-Holland Pub. Co..score: 88.0
    In the mathematical documents which have come down to us from these peoples, there are no theorems or demonstrations, and the fundamental concepts of ...
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  50. A. S. Troelstra (1973). Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. New York,Springer.score: 86.0
1 — 50 / 1000