1. Reverse mathematicsReverse 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.
Read “Reverse mathematics” on English Wikipedia
Read “逆数学” on Japanese Wikipedia
Read “Reverse mathematics” on DBpedia
Read “Reverse mathematics” on English Wikipedia
Read “逆数学” on Japanese Wikipedia
Read “Reverse mathematics” on DBpedia
Discussions
Log in to talk about this word.