Also known as reverse math
Branch of mathematical logic
In the Vinony graph
Within Vinony's link graph, 逆数学 is referenced by 369 other articles, and connects out to constructivism, semantic theory of truth and mathematical logic.
It is catalogued under topics including Computability theory, Mathematical logic and Proof theory.
Its subject is documented across 8 Wikipedia language editions.
Wikidata facts
- Instance of
- branch of mathematics
- Part of
- mathematical logic
Show 1 more fact
- Stack Exchange tag
- mathoverflow.net/tags/reverse-math
Sources (3)
via Wikidata · CC0
Article · 中文
逆数学（Reverse mathematics）是数学的一个分支，大致可以看成是“从定理导向公理”而不是通常的方向(从公理到定理)。更精确一点，它试图通过找出证明所需的充分和必要的公理来评价一批常用数学结果的逻辑有效性。 该领域由Harvey Friedman在其文章“二阶算术系统及其应用（Some systems of second order arithmetic and their use）”中创立。它被Stephen G. Simpson和他的学生以及其他一些人所追随。Simpson写了关于该主题的参考教科书二阶算数的子系统(Subsystems of Second Order Arithmetic);本条目大部分内容取自该书的简介性质的第一章。其他参考读物的细节参看。
Abstract from DBpedia / Wikipedia · CC BY-SA