Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Markovs_principle> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Markovs_principle abstract "Markov's principle, named after Andrey Markov Jr, is a specific statement in computability theory that is obvious true classically (i.e. it is a tautology), but must be proved when using constructive mathematics. There are many equivalent formulations of Markov's principle.".
- Markovs_principle thumbnail Maquina.png?width=300.
- Markovs_principle wikiPageExternalLink mathematics-constructive.
- Markovs_principle wikiPageID "14920509".
- Markovs_principle wikiPageLength "6464".
- Markovs_principle wikiPageOutDegree "38".
- Markovs_principle wikiPageRevisionID "690804104".
- Markovs_principle wikiPageWikiLink Admissible_rule.
- Markovs_principle wikiPageWikiLink Andrey_Markov,_Jr..
- Markovs_principle wikiPageWikiLink Apartness_relation.
- Markovs_principle wikiPageWikiLink Brouwers_continuity_principles.
- Markovs_principle wikiPageWikiLink Category:Constructivism_(mathematics).
- Markovs_principle wikiPageWikiLink Category:Logic.
- Markovs_principle wikiPageWikiLink Category:Mathematical_principles.
- Markovs_principle wikiPageWikiLink Churchs_thesis_(constructive_mathematics).
- Markovs_principle wikiPageWikiLink Computability_theory.
- Markovs_principle wikiPageWikiLink Computable_function.
- Markovs_principle wikiPageWikiLink Constructivism_(mathematics).
- Markovs_principle wikiPageWikiLink Friedman_translation.
- Markovs_principle wikiPageWikiLink Harvey_Friedman.
- Markovs_principle wikiPageWikiLink Heyting_arithmetic.
- Markovs_principle wikiPageWikiLink Intuitionistic_logic.
- Markovs_principle wikiPageWikiLink L._E._J._Brouwer.
- Markovs_principle wikiPageWikiLink Natural_number.
- Markovs_principle wikiPageWikiLink Peano_axioms.
- Markovs_principle wikiPageWikiLink Predicate_logic.
- Markovs_principle wikiPageWikiLink Rational_number.
- Markovs_principle wikiPageWikiLink Real_analysis.
- Markovs_principle wikiPageWikiLink Realizability.
- Markovs_principle wikiPageWikiLink Recursive_set.
- Markovs_principle wikiPageWikiLink Recursively_enumerable_set.
- Markovs_principle wikiPageWikiLink Simply_typed_lambda_calculus.
- Markovs_principle wikiPageWikiLink Tautology_(logic).
- Markovs_principle wikiPageWikiLink Turing_completeness.
- Markovs_principle wikiPageWikiLink Μ_operator.
- Markovs_principle wikiPageWikiLink File:Maquina.png.
- Markovs_principle wikiPageWikiLinkText "Markov's principle".
- Markovs_principle wikiPageWikiLinkText "Markov's rule".
- Markovs_principle wikiPageUsesTemplate Template:Reflist.
- Markovs_principle subject Category:Constructivism_(mathematics).
- Markovs_principle subject Category:Logic.
- Markovs_principle subject Category:Mathematical_principles.
- Markovs_principle hypernym Statement.
- Markovs_principle type Concept.
- Markovs_principle type Theory.
- Markovs_principle comment "Markov's principle, named after Andrey Markov Jr, is a specific statement in computability theory that is obvious true classically (i.e. it is a tautology), but must be proved when using constructive mathematics. There are many equivalent formulations of Markov's principle.".
- Markovs_principle label "Markov's principle".
- Markovs_principle sameAs Q3922074.
- Markovs_principle sameAs Principio_di_Markov.
- Markovs_principle sameAs Princípio_de_Markov.
- Markovs_principle sameAs m.03h1lyy.
- Markovs_principle sameAs Принцип_Маркова.
- Markovs_principle sameAs Q3922074.
- Markovs_principle wasDerivedFrom Markovs_principle?oldid=690804104.
- Markovs_principle depiction Maquina.png.
- Markovs_principle isPrimaryTopicOf Markovs_principle.