Reverse mathematics
id:
reverse-mathematics-210-2633685
title:
Reverse mathematics
text:
Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the ordinary mathematical practice of deriving theorems from axioms. It can be conceptualized as sculpting out necessary conditions from sufficient ones. The reverse mathematics program was foreshadowed by results in set theory such as the classic
brand slug:
wiki
category slug:
encyclopedia
description:
Branch of mathematical logic
original url:
https://en.wikipedia.org/wiki/Reverse_mathematics
date created:
2003-09-24T21:47:04Z
date modified:
2024-09-11T22:15:33Z
main entity:
{"identifier":"Q2005236","url":"https://www.wikidata.org/entity/Q2005236"}
image:
fields total:
13
integrity:
15