Mathematical Knowledge : Motley and Complexity of Proof

Annals of the Japan Association for Philosophy of Science 21:21-35 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logic as Mathematical Science.Haskell B. Curry - 1963 - Annals of the Japan Association for Philosophy of Science 2 (3):131-143.
A Sneak Preview of Proof Theory of Ordinals.Toshiyasu Arai - 2012 - Annals of the Japan Association for Philosophy of Science 20:29-47.
Epistemological implications of economic complexity.J. Barkley Rosser - 2004 - Annals of the Japan Association for Philosophy of Science 13 (1):45-57.
Mathematical Sciences and Humanities.Shokichi Iyanaga - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):213-217.
The Mathematical Infinite as a Matter of Method.Akihiro Kanamori - 2012 - Annals of the Japan Association for Philosophy of Science 20:3-15.
Toward a General Mathematical Theory of Behavior.Edward W. Barankin - 1971 - Annals of the Japan Association for Philosophy of Science 4 (1):1-34.
A Mathematical Model of Deductive and Non-Deductive Inferences.Makoto Kikuchi - 2009 - Annals of the Japan Association for Philosophy of Science 17:1-11.
The Set-theoretic Multiverse as a Mathematical Plenitudinous Platonism Viewpoint.Sakaé Fuchino - 2012 - Annals of the Japan Association for Philosophy of Science 20:49-54.
Explanation: From Ethics to Logic.Gilles Dowek - 2023 - Annals of the Japan Association for Philosophy of Science 32:1-16.

Analytics

Added to PP
2017-08-06

Downloads
14 (#264,824)

6 months
29 (#534,638)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Akihiro Kanamori
Boston University

References found in this work

Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
[Omnibus Review].Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Constructing Cantorian counterexamples.George Boolos - 1997 - Journal of Philosophical Logic 26 (3):237-239.

View all 7 references / Add more references