Ultrafinitism

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:associatedWith Alexander Esenin-Volpin
Pavel Pudlák
gptkbp:contrastsWith gptkb:Intuitionism
Classical mathematics
Standard finitism
gptkbp:denies_existence_of Very large natural numbers
gptkbp:emergedIn 20th century
gptkbp:focusesOn Feasibility in computation
https://www.w3.org/2000/01/rdf-schema#label Ultrafinitism
gptkbp:influenced gptkb:Foundations_of_mathematics
Philosophy of computation
gptkbp:opposedBy Actual infinity
Induction for all natural numbers
Potential infinity
gptkbp:questions Feasibility of certain mathematical objects
gptkbp:sometimesCalled Strict finitism
gptkbp:subclassOf gptkb:Finitism
Constructivism (mathematics)
gptkbp:bfsParent gptkb:The_foundations_of_mathematics
gptkbp:bfsLayer 7