This HTML5 document contains 101 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n9https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n18https://www.jstor.org/stable/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4http://plato.stanford.edu/entries/logic-intuitionistic/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Heyting_arithmetic
rdfs:label
Aritmética de Heyting Aritmética de Heyting Heyting arithmetic Heyting-Arithmetik
rdfs:comment
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. 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. 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 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.
dcterms:subject
dbc:Constructivism_(mathematics) dbc:Intuitionism dbc:Formal_theories_of_arithmetic
dbo:wikiPageID
2545815
dbo:wikiPageRevisionID
1120816168
dbo:wikiPageWikiLink
dbr:Free_variables dbr:Heyting dbr:Predicate_(mathematics) dbr:Church's_thesis_(constructive_mathematics) dbr:Heyting_algebra dbr:Peano_arithmetic dbr:Kleene dbr:Law_of_the_excluded_middle dbr:Georg_Kreisel dbr:Realizability dbr:Ulrich_Kohlenbach dbr:Minimal_logic dbr:Interpretation_(model_theory) dbr:BIT_predicate dbr:Choice_sequence dbr:Löwenheim–Skolem_theorem dbc:Constructivism_(mathematics) dbr:Brouwerian dbr:Gödel dbr:Function_spaces dbr:Quantifier_(logic) dbr:Undecidable_problem dbr:Proof_theory dbc:Intuitionism dbr:Gödel's_incompleteness_theorems dbr:Joan_Moschovakis dbr:Halting_problem dbr:Dependent_type dbr:Alonzo_Church dbr:Markov's_principle dbr:Stanford_Encyclopedia_of_Philosophy dbr:Proof_assistant dbr:Gödel–Gentzen_negative_translation dbr:Axiom_of_separation dbr:Epsilon_induction dbr:Double-negation_elimination dbr:Mathematical_logic dbr:Induction_(mathematics) dbr:Axiom_of_infinity dbr:Binary_number dbr:Friedman_translation dbr:Jacques_Herbrand dbr:Arithmetical_hierarchy dbr:Axiom_of_regularity dbr:Arend_Heyting dbr:Axiom_schema_of_predicative_separation dbr:Axiom_of_power_set dbr:Harrop_formula dbr:Primitive_recursive dbr:Recursion dbr:Natural_number dbr:Admissible_rule dbr:Constructive_set_theory dbr:Hilbert's_tenth_problem dbr:Boolean_algebra_(structure) dbr:Constructive_analysis dbr:BHK_interpretation dbr:Intensional_equality dbc:Formal_theories_of_arithmetic dbr:Anne_S._Troelstra dbr:Intuitionism dbr:Intuitionistic_logic dbr:Kleene's_T_predicate dbr:Kurt_Gödel dbr:Non-standard_model dbr:General_recursive_function dbr:Disjunction_and_existence_properties dbr:Nels_David_Nelson
dbo:wikiPageExternalLink
n4:%23IntNumTheHeyAri n18:2586698%3Fseq=1
owl:sameAs
yago-res:Heyting_arithmetic n9:4kHpz dbpedia-pt:Aritmética_de_Heyting freebase:m.07m609 dbpedia-es:Aritmética_de_Heyting wikidata:Q5548813 dbpedia-de:Heyting-Arithmetik
dbp:wikiPageUsesTemplate
dbt:TOC_left dbt:Non-classical_logic dbt:Reflist
dbo:abstract
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. 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. 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. 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.
gold:hypernym
dbr:Axiomatization
prov:wasDerivedFrom
wikipedia-en:Heyting_arithmetic?oldid=1120816168&ns=0
dbo:wikiPageLength
10914
foaf:isPrimaryTopicOf
wikipedia-en:Heyting_arithmetic