## Find a copy in the library

Finding libraries that hold this item...

## Details

Document Type: | Book |
---|---|

All Authors / Contributors: |
S FEFERMAN; G KREISEL; STANFORD UNIV CALIF APPLIED MATHEMATICS AND STATISTICS LABS. |

OCLC Number: | 227270288 |

Description: | 1 page |

### Abstract:

Efforts centered on the characterization, by means of recursive progressions of theories, of various stratifications of athematical proof, such as finitist, classical number-theoretical, predicative, etc. This as paired with the study, by means of hierarchies, of various stratifications of mathematical notions, such as finitist function, effective function, predicative set, etc. In an expansion of the original proposal, tho e parts of mat ematics which are needed in a systematic study of the notion of proof were considered; in particular intuitionism, which takes the concept of constructive proof as its basic subject matter. (Author).

## Reviews

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "The study of recursive progressions of theories.".
Be the first.

## Similar Items

### Related Subjects:(4)

### User lists with this item (1)

- Mathematical Logic 2009(500 items)
by reydubois updated 2009-10-13