About: Ultrafinitism

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Concept in the philosophy of mathematics

Property	Value
dbo:description	filozofio de matematiko (eo) besonders strenge Auslegung des Finitismus in der Philosophie der Mathematik (de) concept de la philosophie des mathématiques (fr) concept in the philosophy of mathematics (en) concepto en filosofía de la matemática (es) концепція у філософії математики (uk)
dbo:wikiPageExternalLink	https://web.archive.org/web/20060209210015/http:/staff.science.uva.nl/~anne/hhhist.pdf https://books.google.com/books%3Fid=GvGqRYifGpMC&printsec=frontcover%23v=onepage&q=%22strict%20finitism%22&f=false https://doi.org/10.1007%2F3-540-60178-3_78 https://doi.org/10.1023%2FA%3A1024451401255 http://www.charlespetzold.com/blog/2008/05/Reading-Brian-Rotmans-Ad-Infinitum.html http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf http://www.cs.toronto.edu/~pnguyen/studies/thesis.pdf http://www.cs.toronto.edu/~sacook/homepage/book/ http://plato.stanford.edu/entries/computational-complexity/ https://mathoverflow.net/q/44208 http://www.math.princeton.edu/~nelson/books/pa.pdf
dbo:wikiPageWikiLink	dbr:Total_function dbr:Intuitionism dbc:Theories_of_deduction dbr:Ludwig_Wittgenstein dbr:Mathematical_logic dbr:Robin_Gandy dbr:Philosophy_of_mathematics dbr:Skewes's_number dbr:Successor_function dbc:Philosophy_of_mathematics dbr:PSPACE dbr:Computational_complexity_theory dbr:Real_number dbr:Actualism dbr:Exponentiation dbr:Natural_number dbr:Zermelo–Fraenkel_set_theory dbr:Exponential_function dbr:Doron_Zeilberger dbr:Finitism dbr:Jean_Paul_Van_Bendegem dbr:Charles_Petzold dbr:Floor_and_ceiling_functions dbr:Infinite_set dbr:Bounded_arithmetic dbr:Johannes_Hjelmslev dbr:MathOverflow dbr:Reverse_mathematics dbr:Robinson_arithmetic dbr:Alexander_Esenin-Volpin dbr:P_(complexity) dbr:Petr_Vopěnka dbr:Edward_Nelson dbr:Samuel_Buss dbr:Rohit_Jivanlal_Parikh dbr:Knuth's_up-arrow_notation dbc:Constructivism_(mathematics) dbr:Transcomputational_problem dbc:Infinity dbr:Floor_function dbr:Constructivism_(mathematics) dbr:Natural_numbers dbr:Andras_Kornai dbr:A._S._Troelstra dbr:Raphael_Robinson dbr:Predicative_arithmetic dbr:Stephen_A._Cook dbr:Phuong_The_Nguyen dbr:Feasible_number dbr:Shaughan_Lavine dbr:Vladimir_Sazonov
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Citation dbt:More_footnotes dbt:Reflist dbt:Short_description
dct:subject	dbc:Theories_of_deduction dbc:Philosophy_of_mathematics dbc:Constructivism_(mathematics) dbc:Infinity
gold:hypernym	dbr:Form
rdf:type	owl:Thing owl:Thing
rdfs:label	Ultrafinitism (en) Ultrafinitismus (de) Ultrafinitisme (fr) Ultrafinitismo (it) Ультрафинитизм (ru) Ультрафінітизм (uk)
owl:sameAs	freebase:Ultrafinitism yago-res:Ultrafinitism wikidata:Ultrafinitism dbpedia-de:Ultrafinitism dbpedia-it:Ultrafinitism dbpedia-fr:Ultrafinitism dbpedia-ru:Ultrafinitism http://d-nb.info/gnd/4135355-9 dbpedia-uk:Ultrafinitism dbpedia-global:Ultrafinitism
prov:wasDerivedFrom	wikipedia-en:Ultrafinitism?oldid=1304804030&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Ultrafinitism
is dbo:knownFor of	dbr:Rohit_Jivanlal_Parikh
is dbo:wikiPageRedirects of	dbr:Ultraintuitionism dbr:Ultraintuitionism dbr:Ultra-finitism dbr:Ultra-finitist dbr:Ultra-intuitionism dbr:Ultrafinite dbr:Ultrafinitist dbr:Ultrafinitistic
is dbo:wikiPageWikiLink of	dbr:Classical_mathematics dbr:Peano_axioms dbr:Philosophy_of_mathematics dbr:Actualism dbr:Doron_Zeilberger dbr:Finitism dbr:Alexander_Esenin-Volpin dbr:0.999... dbr:Edward_Nelson dbr:Rohit_Jivanlal_Parikh dbr:Bremermann's_limit dbr:Outline_of_logic dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(R–Z) dbr:Ultraintuitionism dbr:Ultra-finitism dbr:Ultra-finitist dbr:Ultra-intuitionism dbr:Ultrafinite dbr:Ultrafinitist dbr:Ultrafinitistic
is dbp:movement of	dbr:Catherine_Christer_Hennix
is foaf:primaryTopic of	wikipedia-en:Ultrafinitism