| http://dbpedia.org/ontology/abstract
|
En lógica matemática, se denomina aritméti … En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista. El nombre proviene de Arend Heyting, quien fue el primero en proponerla. La aritmética de Heyting adopta los axiomas de Peano, pero utiliza las reglas de inferencia de la lógica intuicionista. Particularmente, el principio del tercero excluido no es en general admitido, pese a que dicho axioma puede ser utilizado para la demostración de algunos casos específicos. Por ejemplo, se puede probar que es un teorema (dos números naturales cualesquiera son o bien iguales o bien no iguales entre sí). En efecto, dado que "=" es el único símbolo de predicado en la aritmética de Heyting, se desprende que, para cualquier proposición p sin cuantificadores es un teorema (donde x,y,z... son variables libres de p). La aritmética de Heyting no debe confundirse con el álgebra de Heyting, que es análogamente el equivalente intuicionista del álgebra de Boole.alente intuicionista del álgebra de Boole.
, Na lógica matemática, aritmética de Heytin … Na lógica matemática, aritmética de Heyting (às vezes abreviada como HA -sigla inglesa) é uma axiomatização de aritmética de acordo com a filosofia do intuicionismo. Recebeu o nome de Arend Heyting, que a propôs primeiro. A aritmética de Heyting adota o axioma da aritmética de Peano (PA -sigla inglesa), mas usa a lógica intuicionista como suas regras de inferência. Em particular, a lei do meio excluído não se contém em geral, embora um axioma de indução possa ser usado para provar muitos casos específicos. Por exemplo, é possível provar que ∀ x, y ∈ N : x = y &ou; x ≠ y é um teorema (quaisquer dois números naturais são ou igual um ao outro, ou não igual um ao outro). De fato, desde que o "=" é apenas símbolo de na matemática de Heyting, ele então tem que, para qualquer fórmula livre de quantificador p, ∀ x, y, z, … ∈ N : p &ou; ¬p é um teorema (onde x,y,z… são variáveis livres em p). Kurt Gödel estudou o relacionamento entre a aritmética de Heyting e a de Peano. Usou a para provar em 1933 que se a HA é consistente, então a PA também é. Aritmética Heyting não deveria ser confundida com as , que são as análogas intuicionísticas da Álgebra booleana.ogas intuicionísticas da Álgebra booleana.
, In der mathematischen Logik ist die Heytin … In der mathematischen Logik ist die Heyting-Arithmetik (manchmal mit HA abgekürzt) eine Axiomatisierung der Arithmetik in Übereinstimmung mit der intuitionistischen Philosophie (Troelstra 1973:18). Sie ist nach Arend Heyting, benannt, der sie als erster verwendete.g, benannt, der sie als erster verwendete.
, In mathematical logic, Heyting arithmetic is an axiomatization of arithmetic in accordance with the philosophy of intuitionism. It is named after Arend Heyting, who first proposed it.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://plato.stanford.edu/entries/logic-intuitionistic/%23IntNumTheHeyAri +
, https://www.jstor.org/stable/2586698%3Fseq=1 +
|
| http://dbpedia.org/ontology/wikiPageID
|
2545815
|
| http://dbpedia.org/ontology/wikiPageLength
|
10914
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1120816168
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Ulrich_Kohlenbach +
, http://dbpedia.org/resource/Jacques_Herbrand +
, http://dbpedia.org/resource/Boolean_algebra_%28structure%29 +
, http://dbpedia.org/resource/Realizability +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/G%C3%B6del%E2%80%93Gentzen_negative_translation +
, http://dbpedia.org/resource/Quantifier_%28logic%29 +
, http://dbpedia.org/resource/Category:Formal_theories_of_arithmetic +
, http://dbpedia.org/resource/Anne_S._Troelstra +
, http://dbpedia.org/resource/Kleene +
, http://dbpedia.org/resource/Function_spaces +
, http://dbpedia.org/resource/Epsilon_induction +
, http://dbpedia.org/resource/Heyting +
, http://dbpedia.org/resource/Brouwerian +
, http://dbpedia.org/resource/General_recursive_function +
, http://dbpedia.org/resource/Primitive_recursive +
, http://dbpedia.org/resource/Intensional_equality +
, http://dbpedia.org/resource/BHK_interpretation +
, http://dbpedia.org/resource/Double-negation_elimination +
, http://dbpedia.org/resource/Georg_Kreisel +
, http://dbpedia.org/resource/Heyting_algebra +
, http://dbpedia.org/resource/Constructive_set_theory +
, http://dbpedia.org/resource/G%C3%B6del +
, http://dbpedia.org/resource/Induction_%28mathematics%29 +
, http://dbpedia.org/resource/Axiom_of_regularity +
, http://dbpedia.org/resource/Law_of_the_excluded_middle +
, http://dbpedia.org/resource/Proof_assistant +
, http://dbpedia.org/resource/Harrop_formula +
, http://dbpedia.org/resource/Category:Intuitionism +
, http://dbpedia.org/resource/Arend_Heyting +
, http://dbpedia.org/resource/Markov%27s_principle +
, http://dbpedia.org/resource/Joan_Moschovakis +
, http://dbpedia.org/resource/Choice_sequence +
, http://dbpedia.org/resource/Arithmetical_hierarchy +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Interpretation_%28model_theory%29 +
, http://dbpedia.org/resource/Minimal_logic +
, http://dbpedia.org/resource/Category:Constructivism_%28mathematics%29 +
, http://dbpedia.org/resource/Alonzo_Church +
, http://dbpedia.org/resource/Recursion +
, http://dbpedia.org/resource/Church%27s_thesis_%28constructive_mathematics%29 +
, http://dbpedia.org/resource/Constructive_analysis +
, http://dbpedia.org/resource/Predicate_%28mathematics%29 +
, http://dbpedia.org/resource/Axiom_schema_of_predicative_separation +
, http://dbpedia.org/resource/Disjunction_and_existence_properties +
, http://dbpedia.org/resource/Friedman_translation +
, http://dbpedia.org/resource/L%C3%B6wenheim%E2%80%93Skolem_theorem +
, http://dbpedia.org/resource/Non-standard_model +
, http://dbpedia.org/resource/Admissible_rule +
, http://dbpedia.org/resource/Stanford_Encyclopedia_of_Philosophy +
, http://dbpedia.org/resource/Axiom_of_power_set +
, http://dbpedia.org/resource/Axiom_of_infinity +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/BIT_predicate +
, http://dbpedia.org/resource/Binary_number +
, http://dbpedia.org/resource/Undecidable_problem +
, http://dbpedia.org/resource/G%C3%B6del%27s_incompleteness_theorems +
, http://dbpedia.org/resource/Hilbert%27s_tenth_problem +
, http://dbpedia.org/resource/Free_variables +
, http://dbpedia.org/resource/Axiom_of_separation +
, http://dbpedia.org/resource/Intuitionism +
, http://dbpedia.org/resource/Dependent_type +
, http://dbpedia.org/resource/Nels_David_Nelson +
, http://dbpedia.org/resource/Kleene%27s_T_predicate +
, http://dbpedia.org/resource/Halting_problem +
, http://dbpedia.org/resource/Kurt_G%C3%B6del +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Non-classical_logic +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:TOC_left +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_theories_of_arithmetic +
, http://dbpedia.org/resource/Category:Constructivism_%28mathematics%29 +
, http://dbpedia.org/resource/Category:Intuitionism +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Axiomatization +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Heyting_arithmetic?oldid=1120816168&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Heyting_arithmetic +
|
| owl:sameAs |
https://global.dbpedia.org/id/4kHpz +
, http://dbpedia.org/resource/Heyting_arithmetic +
, http://yago-knowledge.org/resource/Heyting_arithmetic +
, http://rdf.freebase.com/ns/m.07m609 +
, http://es.dbpedia.org/resource/Aritm%C3%A9tica_de_Heyting +
, http://de.dbpedia.org/resource/Heyting-Arithmetik +
, http://pt.dbpedia.org/resource/Aritm%C3%A9tica_de_Heyting +
, http://www.wikidata.org/entity/Q5548813 +
|
| rdfs:comment |
En lógica matemática, se denomina aritméti … En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista. El nombre proviene de Arend Heyting, quien fue el primero en proponerla. La aritmética de Heyting adopta los axiomas de Peano, pero utiliza las reglas de inferencia de la lógica intuicionista. Particularmente, el principio del tercero excluido no es en general admitido, pese a que dicho axioma puede ser utilizado para la demostración de algunos casos específicos. Por ejemplo, se puede probar queecíficos. Por ejemplo, se puede probar que
, In der mathematischen Logik ist die Heytin … In der mathematischen Logik ist die Heyting-Arithmetik (manchmal mit HA abgekürzt) eine Axiomatisierung der Arithmetik in Übereinstimmung mit der intuitionistischen Philosophie (Troelstra 1973:18). Sie ist nach Arend Heyting, benannt, der sie als erster verwendete.g, benannt, der sie als erster verwendete.
, In mathematical logic, Heyting arithmetic is an axiomatization of arithmetic in accordance with the philosophy of intuitionism. It is named after Arend Heyting, who first proposed it.
, Na lógica matemática, aritmética de Heytin … Na lógica matemática, aritmética de Heyting (às vezes abreviada como HA -sigla inglesa) é uma axiomatização de aritmética de acordo com a filosofia do intuicionismo. Recebeu o nome de Arend Heyting, que a propôs primeiro. Kurt Gödel estudou o relacionamento entre a aritmética de Heyting e a de Peano. Usou a para provar em 1933 que se a HA é consistente, então a PA também é. Aritmética Heyting não deveria ser confundida com as , que são as análogas intuicionísticas da Álgebra booleana.ogas intuicionísticas da Álgebra booleana.
|
| rdfs:label |
Heyting-Arithmetik
, Aritmética de Heyting
, Heyting arithmetic
|
