Results 1 
9 of
9
Number theory and elementary arithmetic
 Philosophia Mathematica
, 2003
"... Elementary arithmetic (also known as “elementary function arithmetic”) is a fragment of firstorder arithmetic so weak that it cannot prove the totality of an iterated exponential function. Surprisingly, however, the theory turns out to be remarkably robust. I will discuss formal results that show t ..."
Abstract

Cited by 19 (6 self)
 Add to MetaCart
(Show Context)
Elementary arithmetic (also known as “elementary function arithmetic”) is a fragment of firstorder arithmetic so weak that it cannot prove the totality of an iterated exponential function. Surprisingly, however, the theory turns out to be remarkably robust. I will discuss formal results that show that many theorems of number theory and combinatorics are derivable in elementary arithmetic, and try to place these results in a broader philosophical context. 1
Hilbert’s Program Then and Now
, 2005
"... Hilbert’s program is, in the first instance, a proposal and a research program in the philosophy and foundations of mathematics. It was formulated in the early 1920s by German mathematician David Hilbert (1862–1943), and was pursued by him and his collaborators at the University of Göttingen and els ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
Hilbert’s program is, in the first instance, a proposal and a research program in the philosophy and foundations of mathematics. It was formulated in the early 1920s by German mathematician David Hilbert (1862–1943), and was pursued by him and his collaborators at the University of Göttingen and elsewhere in the 1920s
When is .999... less than 1?
, 2010
"... We examine alternative interpretations of the symbol described as nought, point, nine recurring. Is “an infinite number of 9s ” merely a figure of speech? How are such alternative interpretations related to infinite cardinalities? How are they expressed in Lightstone’s “semicolon ” notation? Is it p ..."
Abstract

Cited by 9 (4 self)
 Add to MetaCart
We examine alternative interpretations of the symbol described as nought, point, nine recurring. Is “an infinite number of 9s ” merely a figure of speech? How are such alternative interpretations related to infinite cardinalities? How are they expressed in Lightstone’s “semicolon ” notation? Is it possible to choose a canonical alternative interpretation? Should unital evaluation of the symbol.999... be inculcated in a prelimit teaching environment? The problem of the unital evaluation is hereby examined from the preR, prelim viewpoint of the student.
Gödel and the Metamathematical Tradition
, 2007
"... The metamathematical tradition that developed from Hilbert’s program is based on syntactic characterizations of mathematics and the use of explicit, finitary methods in the metatheory. Although Gödel’s work in logic fits squarely in that tradition, one often finds him curiously at odds with the asso ..."
Abstract
 Add to MetaCart
(Show Context)
The metamathematical tradition that developed from Hilbert’s program is based on syntactic characterizations of mathematics and the use of explicit, finitary methods in the metatheory. Although Gödel’s work in logic fits squarely in that tradition, one often finds him curiously at odds with the associated methodological orientation. This essay explores that tension and what lies behind it. 1
Contents
, 1999
"... The views expressed in this academic research paper are those of the author(s) and ..."
Abstract
 Add to MetaCart
The views expressed in this academic research paper are those of the author(s) and
Contents
, 2008
"... We present the Curry–Howard correspondence for constructive logic via natural deduction, typed λcalculus and cartesian closed categories. We then examine how the correspondence may be extended to classical logic and nonconstructive proofs, and discuss some of the problems and questions ..."
Abstract
 Add to MetaCart
We present the Curry–Howard correspondence for constructive logic via natural deduction, typed λcalculus and cartesian closed categories. We then examine how the correspondence may be extended to classical logic and nonconstructive proofs, and discuss some of the problems and questions
Published In Gödel and the metamathematical tradition∗
, 2007
"... The metamathematical tradition that developed from Hilbert’s program is based on syntactic characterizations of mathematics and the use of explicit, finitary methods in the metatheory. Although Gödel’s work in logic fits squarely in that tradition, one often finds him curiously at odds with the a ..."
Abstract
 Add to MetaCart
(Show Context)
The metamathematical tradition that developed from Hilbert’s program is based on syntactic characterizations of mathematics and the use of explicit, finitary methods in the metatheory. Although Gödel’s work in logic fits squarely in that tradition, one often finds him curiously at odds with the associated methodological orientation. This essay explores that tension and what lies behind it. 1