| http://dbpedia.org/ontology/abstract
|
In mathematical logic, second-order arithm … In mathematical logic, second-order arithmetic is a collection of axiomatic systems that formalize the natural numbers and their subsets. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. A precursor to second-order arithmetic that involves third-order parameters was introduced by David Hilbert and Paul Bernays in their book Grundlagen der Mathematik. The standard axiomatization of second-order arithmetic is denoted by Z2. Second-order arithmetic includes, but is significantly stronger than, its first-order counterpart Peano arithmetic. Unlike Peano arithmetic, second-order arithmetic allows quantification over sets of natural numbers as well as numbers themselves. Because real numbers can be represented as (infinite) sets of natural numbers in well-known ways, and because second-order arithmetic allows quantification over such sets, it is possible to formalize the real numbers in second-order arithmetic. For this reason, second-order arithmetic is sometimes called "analysis" (Sieg 2013, p. 291). Second-order arithmetic can also be seen as a weak version of set theory in which every element is either a natural number or a set of natural numbers. Although it is much weaker than Zermelo–Fraenkel set theory, second-order arithmetic can prove essentially all of the results of classical mathematics expressible in its language. A subsystem of second-order arithmetic is a theory in the language of second-order arithmetic each axiom of which is a theorem of full second-order arithmetic (Z2). Such subsystems are essential to reverse mathematics, a research program investigating how much of classical mathematics can be derived in certain weak subsystems of varying strength. Much of core mathematics can be formalized in these weak subsystems, some of which are defined below. Reverse mathematics also clarifies the extent and manner in which classical mathematics is nonconstructive. classical mathematics is nonconstructive.
, En la lógica matemática, la aritmética de … En la lógica matemática, la aritmética de segundo orden es una colección de sistemas axiomáticos que formalizan los números naturales y sus subconjuntos. La aritmética de segundo orden también puede verse como una versión débil de teoría de conjuntos en la que todo elemento es un número natural o un conjunto de números naturales.atural o un conjunto de números naturales.
, Na Lógica matemática, aritmética de segund … Na Lógica matemática, aritmética de segunda ordem é uma coleção de sistemas axiomáticos que formalizam os números naturais e seus subconjuntos. É uma alternativa para a teoria axiomática dos conjuntos como fundamentos, mas não tudo, da matemática. Foi introduzida por David Hilbert e Paul Bernays em seu livro . A axiomatização padrão da aritmética de segunda ordem é denotada Z2. Aritmética de segunda ordem inclui, mas é significativamente mais forte do que, a aritmética de Peano. Ao contrário da aritmética de Peano, aritmética de segunda ordem permite a quantificação sobre conjuntos de números, bem como os próprios números. Como os números reais podem ser representados como conjuntos (infinitos) de números naturais de maneiras bem conhecidas, e dado que a aritmética de segunda ordem permite a quantificação sobre esses conjuntos, é possível formalizar os números reais em aritmética de segunda ordem. Por esta razão, a aritmética de segunda ordem é chamada algumas vezes de "análise". Aritmética de segunda ordem pode também ser vista como uma versão fraca da teoria dos conjuntos, em que cada elemento seja um número natural ou um conjunto de números naturais. Embora seja muito mais fraca do que a teoria axiomática de Zermelo-Fraenkel, a aritmética de segunda ordem pode provar essencialmente todos os resultados de matemática clássica expressível em sua linguagem. Um subsistema de aritmética de segunda ordem é uma teoria na linguagem da aritmética de segunda ordem onde cada axioma é um teorema da aritmética de segunda ordem plena (Z2). Esses subsistemas são essenciais para a , um programa de pesquisa que investiga o quanto a matemática clássica pode ser derivada em certos subsistemas fracos de intensidade variável. A maior parte do núcleo da matemática pode ser formalizada por esses subsistemas fracos, alguns dos quais são definidos a seguir. Matemática reversa também esclarece o âmbito e as modalidades em que a matemática clássica é não-construtiva.e a matemática clássica é não-construtiva.
, En logique mathématique, l'arithmétique du … En logique mathématique, l'arithmétique du second ordre est une théorie des entiers naturels et des ensembles d'entiers naturels.Elle a été introduite par David Hilbert et Paul Bernays dans leur livre Grundlagen der Mathematik. L'axiomatisation usuelle de l'arithmétique du second ordre est notée Z2. L'arithmétique de second ordre a pour conséquence les théorèmes de l'arithmétique de Peano (du premier ordre), mais elle est à la fois plus forte et plus expressive que celle-ci. L'arithmétique du second ordre permet la quantification non seulement sur les nombres entiers naturels, comme l'arithmétique de Peano, mais aussi sur les ensembles d'entiers naturels. Elle comprend en particulier une version du schéma d'axiomes de compréhension restreinte aux ensembles d'entiers naturels, qui est exprimable grâce à ces nouvelles quantifications. Le raisonnement par récurrence s'exprime par un seul axiome. Elle permet en particulier de traiter les nombres réels, qui peuvent être représentés comme des (ensembles infinis) d'entiers, et de développer l'analyse usuelle. Pour cette raison, les logiciens l'appellent également « analyse ». L'arithmétique de second ordre peut aussi être considérée comme une version faible de la théorie des ensembles dans laquelle chaque élément est soit un entier naturel, soit un ensemble d'entiers naturels. Bien qu'elle soit plus faible que la théorie des ensembles de Zermelo-Fraenkel, au sens où il existe des énoncés de l'arithmétique du second ordre démontrables en théorie des ensembles, mais pas en arithmétique du second ordre, elle permet de prouver l'essentiel des résultats des mathématiques classiques exprimables dans son langage. L'arithmétique du second ordre, et surtout certains de ses sous-systèmes, construits essentiellement à partir de restrictions des schémas d'axiomes de compréhension et de récurrence, jouent un rôle important pour les mathématiques à rebours.mportant pour les mathématiques à rebours.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.jstor.org/stable/2272259 +
, http://www.math.psu.edu/simpson/sosoa/ +
, https://www.math.wisc.edu/logic/theses/hunter.pdf +
, https://books.google.com/books%3Fid=TdnQCwAAQBAJ&printsec=frontcover%23v=onepage&q=%22Second-order%20arithmetic%22&f=false +
, http://www.paultaylor.eu/stable/Proofs%2BTypes.html +
, https://arxiv.org/abs/2007.07560 +
, https://arxiv.org/abs/ +
, https://books.google.com/books%3Fid=hf9ZDwAAQBAJ&printsec=frontcover%23v=snippet&q=second-order%20arithmetic&f=false +
|
| http://dbpedia.org/ontology/wikiPageID
|
3542454
|
| http://dbpedia.org/ontology/wikiPageLength
|
27891
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1122592615
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Bound_variable +
, http://dbpedia.org/resource/Infinite_set +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Addition +
, http://dbpedia.org/resource/Nonconstructive +
, http://dbpedia.org/resource/Multiplication +
, http://dbpedia.org/resource/Steve_Simpson_%28mathematician%29 +
, http://dbpedia.org/resource/ZFC +
, http://dbpedia.org/resource/Dag_Normann +
, http://dbpedia.org/resource/Mathematical_analysis +
, http://dbpedia.org/resource/Grundlagen_der_Mathematik +
, http://dbpedia.org/resource/Infix +
, http://dbpedia.org/resource/Well-formed_formula +
, http://dbpedia.org/resource/Gaisi_Takeuti +
, http://dbpedia.org/resource/Order_relation +
, http://dbpedia.org/resource/Primitive_recursive_arithmetic +
, http://dbpedia.org/resource/Term_%28logic%29 +
, http://dbpedia.org/resource/Binary_relation +
, http://dbpedia.org/resource/Ordinal_analysis +
, http://dbpedia.org/resource/Dialectica_interpretation +
, http://dbpedia.org/resource/David_Hilbert +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Variable_%28mathematics%29 +
, http://dbpedia.org/resource/Property_of_Baire +
, http://dbpedia.org/resource/First-order_theory +
, http://dbpedia.org/resource/Foundation_of_mathematics +
, http://dbpedia.org/resource/System_F +
, http://dbpedia.org/resource/Injective_function +
, http://dbpedia.org/resource/Peano_axioms +
, http://dbpedia.org/resource/Samuel_Buss +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Complete_metric_space +
, http://dbpedia.org/resource/Robinson_arithmetic +
, http://dbpedia.org/resource/Prefix +
, http://dbpedia.org/resource/Notices_of_the_American_Mathematical_Society +
, http://dbpedia.org/resource/Analytical_hierarchy +
, http://dbpedia.org/resource/Turing_jump +
, http://dbpedia.org/resource/Category:Formal_theories_of_arithmetic +
, http://dbpedia.org/resource/Projective_determinacy +
, http://dbpedia.org/resource/Proof-theoretic_strength +
, http://dbpedia.org/resource/Paris%E2%80%93Harrington_theorem +
, http://dbpedia.org/resource/Presburger_arithmetic +
, http://dbpedia.org/resource/Existential_quantifier +
, http://dbpedia.org/resource/Bolzano%E2%80%93Weierstrass_theorem +
, http://dbpedia.org/resource/Harvey_Friedman +
, http://dbpedia.org/resource/Many-sorted_logic +
, http://dbpedia.org/resource/John_P._Burgess +
, http://dbpedia.org/resource/Jean-Yves_Girard +
, http://dbpedia.org/resource/Measure_theory +
, http://dbpedia.org/resource/Individual +
, http://dbpedia.org/resource/Metric_space +
, http://dbpedia.org/resource/Riemann_integrable +
, http://dbpedia.org/resource/Zermelo%E2%80%93Fraenkel_set_theory +
, http://dbpedia.org/resource/Real_number +
, http://dbpedia.org/resource/Journal_of_Symbolic_Logic +
, http://dbpedia.org/resource/Axiom +
, http://dbpedia.org/resource/Classical_mathematics +
, http://dbpedia.org/resource/Topology +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/W._Hugh_Woodin +
, http://dbpedia.org/resource/Separable_space +
, http://dbpedia.org/resource/Quantification_%28logic%29 +
, http://dbpedia.org/resource/Intermediate_value_theorem +
, http://dbpedia.org/resource/K%C5%91nig%27s_lemma +
, http://dbpedia.org/resource/Domain_of_discourse +
, http://dbpedia.org/resource/Skolem_prenex_form +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/Boldface_%28mathematics%29 +
, http://dbpedia.org/resource/Reverse_mathematics +
, http://dbpedia.org/resource/Theory_%28logic%29 +
, http://dbpedia.org/resource/Paul_Bernays +
, http://dbpedia.org/resource/Recursion +
, http://dbpedia.org/resource/Second-order_logic +
, http://dbpedia.org/resource/Hermann_Weyl +
, http://dbpedia.org/resource/Successor_function +
, http://dbpedia.org/resource/Stewart_Shapiro +
, http://dbpedia.org/resource/Binary_operation +
, http://dbpedia.org/resource/True_arithmetic +
, http://dbpedia.org/resource/Uniformization_%28set_theory%29 +
, http://dbpedia.org/resource/Axiomatic_set_theory +
, http://dbpedia.org/resource/Ulrich_Kohlenbach +
, http://dbpedia.org/resource/Wilfried_Sieg +
, http://dbpedia.org/resource/Equiconsistency +
, http://dbpedia.org/resource/Zero +
, http://dbpedia.org/resource/Woodin_cardinal +
, http://dbpedia.org/resource/Perfect_set_property +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Isbn +
, http://dbpedia.org/resource/Template:Mr +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_theories_of_arithmetic +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Collection +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Second-order_arithmetic?oldid=1122592615&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Second-order_arithmetic +
|
| owl:sameAs |
http://yago-knowledge.org/resource/Second-order_arithmetic +
, http://pt.dbpedia.org/resource/Aritm%C3%A9tica_de_segunda_ordem +
, http://rdf.freebase.com/ns/m.09kh4g +
, https://global.dbpedia.org/id/4uskT +
, http://www.wikidata.org/entity/Q7442973 +
, http://es.dbpedia.org/resource/Aritm%C3%A9tica_de_segundo_orden +
, http://dbpedia.org/resource/Second-order_arithmetic +
, http://fr.dbpedia.org/resource/Arithm%C3%A9tique_du_second_ordre +
|
| rdf:type |
http://dbpedia.org/class/yago/Theory105989479 +
, http://dbpedia.org/class/yago/Cognition100023271 +
, http://dbpedia.org/class/yago/WikicatFormalTheoriesOfArithmetic +
, http://dbpedia.org/ontology/Book +
, http://dbpedia.org/class/yago/Thinking105770926 +
, http://dbpedia.org/class/yago/HigherCognitiveProcess105770664 +
, http://dbpedia.org/class/yago/PsychologicalFeature100023100 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Process105701363 +
, http://dbpedia.org/class/yago/Explanation105793000 +
|
| rdfs:comment |
In mathematical logic, second-order arithm … In mathematical logic, second-order arithmetic is a collection of axiomatic systems that formalize the natural numbers and their subsets. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. A precursor to second-order arithmetic that involves third-order parameters was introduced by David Hilbert and Paul Bernays in their book Grundlagen der Mathematik. The standard axiomatization of second-order arithmetic is denoted by Z2. second-order arithmetic is denoted by Z2.
, En logique mathématique, l'arithmétique du … En logique mathématique, l'arithmétique du second ordre est une théorie des entiers naturels et des ensembles d'entiers naturels.Elle a été introduite par David Hilbert et Paul Bernays dans leur livre Grundlagen der Mathematik. L'axiomatisation usuelle de l'arithmétique du second ordre est notée Z2. Elle permet en particulier de traiter les nombres réels, qui peuvent être représentés comme des (ensembles infinis) d'entiers, et de développer l'analyse usuelle. Pour cette raison, les logiciens l'appellent également « analyse ».giciens l'appellent également « analyse ».
, Na Lógica matemática, aritmética de segund … Na Lógica matemática, aritmética de segunda ordem é uma coleção de sistemas axiomáticos que formalizam os números naturais e seus subconjuntos. É uma alternativa para a teoria axiomática dos conjuntos como fundamentos, mas não tudo, da matemática. Foi introduzida por David Hilbert e Paul Bernays em seu livro . A axiomatização padrão da aritmética de segunda ordem é denotada Z2.aritmética de segunda ordem é denotada Z2.
, En la lógica matemática, la aritmética de … En la lógica matemática, la aritmética de segundo orden es una colección de sistemas axiomáticos que formalizan los números naturales y sus subconjuntos. La aritmética de segundo orden también puede verse como una versión débil de teoría de conjuntos en la que todo elemento es un número natural o un conjunto de números naturales.atural o un conjunto de números naturales.
|
| rdfs:label |
Aritmética de segundo orden
, Second-order arithmetic
, Arithmétique du second ordre
, Aritmética de segunda ordem
|
