About: Ultrafinitism

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

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 http://www.charlespetzold.com/blog/2008/05/Reading-Brian-Rotmans-Ad-Infinitum.html https://books.google.com/books%3Fid=GvGqRYifGpMC&printsec=frontcover%23v=onepage&q=%22strict%20finitism%22&f=false http://www.cs.toronto.edu/~pnguyen/studies/thesis.pdf http://www.cs.toronto.edu/~sacook/homepage/book/ https://doi.org/10.1007%2F3-540-60178-3_78 https://doi.org/10.1023%2FA%3A1024451401255 http://plato.stanford.edu/entries/computational-complexity/ http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf https://mathoverflow.net/q/44208 http://www.math.princeton.edu/~nelson/books/pa.pdf
dbo:wikiPageWikiLink	dbr:Samuel_Buss dbr:Floor_and_ceiling_functions dbr:Floor_function dbr:Robin_Gandy dbr:Real_number dbr:Exponentiation dbr:PSPACE dbr:Robinson_arithmetic dbr:MathOverflow dbr:Transcomputational_problem dbr:Skewes's_number dbr:Johannes_Hjelmslev dbr:Finitism dbc:Infinity dbc:Philosophy_of_mathematics dbr:Zermelo–Fraenkel_set_theory dbr:Alexander_Esenin-Volpin dbr:Ludwig_Wittgenstein dbc:Constructivism_(mathematics) dbr:Charles_Petzold dbc:Theories_of_deduction dbr:Actualism dbr:Computational_complexity_theory dbr:Infinite_set dbr:Mathematical_logic dbr:Doron_Zeilberger dbr:Knuth's_up-arrow_notation dbr:Reverse_mathematics dbr:P_(complexity) dbr:Petr_Vopěnka dbr:Successor_function dbr:Exponential_function dbr:Philosophy_of_mathematics dbr:Jean_Paul_Van_Bendegem dbr:Edward_Nelson dbr:Natural_number dbr:Rohit_Jivanlal_Parikh dbr:Intuitionism dbr:Bounded_arithmetic dbr:Stephen_A._Cook dbr:Total_function dbr:Constructivism_(mathematics) dbr:Andras_Kornai dbr:A._S._Troelstra dbr:Predicative_arithmetic dbr:Natural_numbers dbr:Raphael_Robinson dbr:Feasible_number dbr:Shaughan_Lavine dbr:Vladimir_Sazonov dbr:Phuong_The_Nguyen
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Citation dbt:More_footnotes dbt:Short_description
dct:subject	dbc:Infinity dbc:Philosophy_of_mathematics dbc:Constructivism_(mathematics) dbc:Theories_of_deduction
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-it:Ultrafinitism dbpedia-de:Ultrafinitism dbpedia-fr:Ultrafinitism dbpedia-ru:Ultrafinitism http://d-nb.info/gnd/4135355-9 dbpedia-uk:Ultrafinitism dbpedia-global:Ultrafinitism dbr:Ultrafinitism
prov:wasDerivedFrom	wikipedia-en:Ultrafinitism?oldid=1287620197&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:Peano_axioms dbr:Finitism dbr:Index_of_philosophy_articles_(R–Z) dbr:Alexander_Esenin-Volpin dbr:Index_of_logic_articles dbr:Actualism dbr:Bremermann's_limit dbr:Doron_Zeilberger dbr:0.999... dbr:Philosophy_of_mathematics dbr:Edward_Nelson dbr:Rohit_Jivanlal_Parikh dbr:Classical_mathematics dbr:Ultraintuitionism dbr:Outline_of_logic 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