Ultrafinitism
http://dbpedia.org/resource/Ultrafinitism an entity of type: Thing
En philosophie des mathématiques, l'ultrafinitisme, (aussi connu sous le nom d'ultraintuitionnisme, finitisme strict, ou encore de finitisme fort) est une forme extrême de finitisme. Une caractéristique de l'ultrafinitisme est son objection à la totalité de certaines fonctions numériques jusqu'à y compris l'exponentiation.
rdf:langString
In the philosophy of mathematics, ultrafinitism (also known as ultraintuitionism, strict formalism, strict finitism, actualism, predicativism, and strong finitism) is a form of finitism and intuitionism. There are various philosophies of mathematics that are called ultrafinitism. A major identifying property common among most of these philosophies is their objections to totality of number theoretic functions like exponentiation over natural numbers.
rdf:langString
Ультрафинитизм (известный также как ультраинтуитивизм, строгий формализм, строгий финитизм, актуализм, предикативизм и сильный финитизм) — крайняя форма финитизма, проявляемая в ряде математических и философско-математических концепций и теорий. Общим для всех форм математического финитизма является отказ от использования интуитивно сомнительной абстракции актуальной бесконечности, например, бесконечного множества натуральных чисел как законченного, завершённого в построении объекта; ультрафинитизм же отрицает или считает малосодержательной абстракцией и потенциальную бесконечность, то есть возможность построения сколь угодно больших конструктивных объектов; как следствие отрицается, например, применимость арифметических операций ко всем натуральным числам.
rdf:langString
Ультрафінітизм у філософії математики (також відомий як ультраінтуїціонізм, строгий формалізм, строгий фінітизм, актуалізм) — різновид фінітизму. Спільною рисою різних течій у філософії математики, що використовують у своїх назвах термін «ультрафінітизм», є заперечення тотальності функцій з теорії чисел, наприклад показникових функцій над натуральними числами.
rdf:langString
Ultrafinitismus (auch Ultraintuitionismus genannt) ist eine besonders strenge Auslegung des Finitismus in der Philosophie der Mathematik. Ultrafinitisten beschäftigen sich mit der Konstruktion mathematischer Objekte unter Berücksichtigung der physikalischen Beschränktheit des Menschen. Sie lehnen nicht nur, wie andere Anhänger des Finitismus, die Existenz von mathematischen Strukturen ab, zu deren Konstruktion eine unendliche Zahl von Schritten erforderlich wäre (wie bei der Menge der natürlichen Zahlen ), sondern zweifeln auch am Sinn von Zahlen wie (die größte natürliche Zahl, die kleiner ist als Skewes-Zahl). Dies begründen sie damit, dass niemand diese Zahl bisher berechnet hat und dass es möglicherweise physikalisch nicht möglich ist, sie zu berechnen. Die Anzahl der Elementarteilche
rdf:langString
Nella filosofia della matematica, l'ultrafinitismo, detto anche ultraintuizionismo, è unavariante estremista del finitismo. Gli ultrafinitisti negano l'esistenza dell'insieme infinito degli interi naturali N, in quanto non può mai essere completato (v. ). . La ragione sta nel fatto che nessuno ha finora calcolato il numero naturale che fornisce il valore della parte intera di questo numero reale, oltre al fatto che appare fisicamente impossibile effettuare tale calcolo. Uno dei maggiori sostenitori dell'ultrafinitismo è stato, a partire dal 1959, il matematico russo .
rdf:langString
rdf:langString
Ultrafinitismus
rdf:langString
Ultrafinitisme
rdf:langString
Ultrafinitismo
rdf:langString
Ультрафинитизм
rdf:langString
Ultrafinitism
rdf:langString
Ультрафінітизм
xsd:integer
145018
xsd:integer
1113319199
rdf:langString
Ultrafinitismus (auch Ultraintuitionismus genannt) ist eine besonders strenge Auslegung des Finitismus in der Philosophie der Mathematik. Ultrafinitisten beschäftigen sich mit der Konstruktion mathematischer Objekte unter Berücksichtigung der physikalischen Beschränktheit des Menschen. Sie lehnen nicht nur, wie andere Anhänger des Finitismus, die Existenz von mathematischen Strukturen ab, zu deren Konstruktion eine unendliche Zahl von Schritten erforderlich wäre (wie bei der Menge der natürlichen Zahlen ), sondern zweifeln auch am Sinn von Zahlen wie (die größte natürliche Zahl, die kleiner ist als Skewes-Zahl). Dies begründen sie damit, dass niemand diese Zahl bisher berechnet hat und dass es möglicherweise physikalisch nicht möglich ist, sie zu berechnen. Die Anzahl der Elementarteilchen im beobachtbaren Universum liegt bei geschätzt , während Skewes-Zahl bei liegt. Obwohl Ultrafinitismus eine Form des mathematischen Konstruktivismus ist, wird er von den allermeisten Konstruktivisten als unpraktikabel angesehen. Der konstruktive Logiker A. S. Troelstra formulierte dazu in Constructivism in Mathematics (1988): „Es gibt derzeit keine befriedigende Ausarbeitung“ (“no satisfactory development exists at present”). Alexander Jessenin-Wolpin war seit 1959 ein führender Vertreter des Ultrafinitismus.
rdf:langString
En philosophie des mathématiques, l'ultrafinitisme, (aussi connu sous le nom d'ultraintuitionnisme, finitisme strict, ou encore de finitisme fort) est une forme extrême de finitisme. Une caractéristique de l'ultrafinitisme est son objection à la totalité de certaines fonctions numériques jusqu'à y compris l'exponentiation.
rdf:langString
In the philosophy of mathematics, ultrafinitism (also known as ultraintuitionism, strict formalism, strict finitism, actualism, predicativism, and strong finitism) is a form of finitism and intuitionism. There are various philosophies of mathematics that are called ultrafinitism. A major identifying property common among most of these philosophies is their objections to totality of number theoretic functions like exponentiation over natural numbers.
rdf:langString
Nella filosofia della matematica, l'ultrafinitismo, detto anche ultraintuizionismo, è unavariante estremista del finitismo. Gli ultrafinitisti negano l'esistenza dell'insieme infinito degli interi naturali N, in quanto non può mai essere completato (v. ). Inoltre gli ultrafinitisti si preoccupano degli impedimenti fisici che si oppongono alla costruzione effettiva degli oggetti matematici. Quindi alcuni ultrafinitisti negano, ad esempio, l'esistenza del valore della funzione pavimento (la parte intera, escludendo i decimali) del primo numero di Skewes: esso è un numero grandissimo che si definisce ricorrendo alla funzione esponenziale tramite la formula . La ragione sta nel fatto che nessuno ha finora calcolato il numero naturale che fornisce il valore della parte intera di questo numero reale, oltre al fatto che appare fisicamente impossibile effettuare tale calcolo. L'ultrafinitismo è una variante del costruttivismo, anche se i costruttivistiin generale giudicano la filosofia come un'attività intrattabilmente estrema. Il fondamento logico dell'ultrafinitismo risulta per molti studiosi poco chiaro. Il logico costruttivista per esempio, nella sua opera Constructivism in Mathematics (1988), liquida l'ultrafinitismo dicendo che "al presente non dispone di uno sviluppo soddisfacente". Questa non è tanto una obiezione filosofica, ma piuttosto la semplice constatazione che non vi è nulla di abbastanza preciso nell'ultrafinitismo che possa essere incluso in un'opera rigorosa di logica matematica. Uno dei maggiori sostenitori dell'ultrafinitismo è stato, a partire dal 1959, il matematico russo . Altre considerazioni sulla possibilità di evitare numeri tanto grandi da non potersi maneggiare si possono basaresulla teoria della complessità computazionale; a queste si può collegare la nozione di .
rdf:langString
Ультрафинитизм (известный также как ультраинтуитивизм, строгий формализм, строгий финитизм, актуализм, предикативизм и сильный финитизм) — крайняя форма финитизма, проявляемая в ряде математических и философско-математических концепций и теорий. Общим для всех форм математического финитизма является отказ от использования интуитивно сомнительной абстракции актуальной бесконечности, например, бесконечного множества натуральных чисел как законченного, завершённого в построении объекта; ультрафинитизм же отрицает или считает малосодержательной абстракцией и потенциальную бесконечность, то есть возможность построения сколь угодно больших конструктивных объектов; как следствие отрицается, например, применимость арифметических операций ко всем натуральным числам.
rdf:langString
Ультрафінітизм у філософії математики (також відомий як ультраінтуїціонізм, строгий формалізм, строгий фінітизм, актуалізм) — різновид фінітизму. Спільною рисою різних течій у філософії математики, що використовують у своїх назвах термін «ультрафінітизм», є заперечення тотальності функцій з теорії чисел, наприклад показникових функцій над натуральними числами.
xsd:nonNegativeInteger
8193