skip to content
The study of recursive progressions of theories. Preview this item
ClosePreview this item
Checking...

The study of recursive progressions of theories.

Author: S FEFERMAN; G KREISEL; STANFORD UNIV CALIF APPLIED MATHEMATICS AND STATISTICS LABS.
Publisher: Ft. Belvoir Defense Technical Information Center 01 JUL 1961.
Edition/Format:   Print book : English
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; 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
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(4)

User lists with this item (1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/227270288> # The study of recursive progressions of theories.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "227270288" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/137017246#Place/ft_belvoir> ; # Ft. Belvoir
    schema:about <http://experiment.worldcat.org/entity/work/data/137017246#Topic/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/137017246#Topic/metamathematics> ; # Metamathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/137017246#Topic/functions_mathematics> ; # Functions(mathematics)
    schema:about <http://experiment.worldcat.org/entity/work/data/137017246#Topic/series_mathematics> ; # Series(mathematics)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/15582257> ; # G. KREISEL
    schema:contributor <http://viaf.org/viaf/34535231> ; # S. FEFERMAN
    schema:contributor <http://experiment.worldcat.org/entity/work/data/137017246#Organization/stanford_univ_calif_applied_mathematics_and_statistics_labs> ; # STANFORD UNIV CALIF APPLIED MATHEMATICS AND STATISTICS LABS.
    schema:datePublished "1961" ;
    schema:datePublished "01 JUL 1961" ;
    schema:description "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)."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/137017246> ;
    schema:inLanguage "en" ;
    schema:name "The study of recursive progressions of theories."@en ;
    schema:productID "227270288" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/227270288#PublicationEvent/ft_belvoirdefense_technical_information_center01_jul_1961> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/137017246#Agent/defense_technical_information_center> ; # Defense Technical Information Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/227270288> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/137017246#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
    schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/137017246#Organization/stanford_univ_calif_applied_mathematics_and_statistics_labs> # STANFORD UNIV CALIF APPLIED MATHEMATICS AND STATISTICS LABS.
    a schema:Organization ;
    schema:name "STANFORD UNIV CALIF APPLIED MATHEMATICS AND STATISTICS LABS." ;
    .

<http://experiment.worldcat.org/entity/work/data/137017246#Topic/functions_mathematics> # Functions(mathematics)
    a schema:Intangible ;
    schema:name "Functions(mathematics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137017246#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
    schema:name "Mathematical logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137017246#Topic/series_mathematics> # Series(mathematics)
    a schema:Intangible ;
    schema:name "Series(mathematics)"@en ;
    .

<http://viaf.org/viaf/15582257> # G. KREISEL
    a schema:Person ;
    schema:familyName "KREISEL" ;
    schema:givenName "G." ;
    schema:name "G. KREISEL" ;
    .

<http://viaf.org/viaf/34535231> # S. FEFERMAN
    a schema:Person ;
    schema:familyName "FEFERMAN" ;
    schema:givenName "S." ;
    schema:name "S. FEFERMAN" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.