Reverse mathematics is the study of which axioms are required to prove mathematical theorems. This study is carried out by using formal theories of arithmetic, particularly subsystems of second-order arithmetic. Similar results in the context of set theory, for example those related to the axiom of choice and ZF set theory, should use the set-theory tag instead, possibly in combination with the axiom-of-choice tag.
Questions tagged [reverse-math]
128 questions
1
vote
1 answer
Getting formula based on graph
I've got a graph image, but I need the formula used the create this graph. This image is being used to read the result corresponding values manually, but I want to automate this by using a formula.
The X axis is a known value 'som van de faktoren',…
Diego Voors
- 11
0
votes
1 answer
getting the initial number from the end total
i would need some advice if it is possible to get the initial number from a total number. I am trying to create a level system in my application and i need from the total experience to find the current experience level.
level 1 require 10 to…
Mireille28
- 103
-1
votes
1 answer
How can i figure out an algorithm by comparing input and output?
I have a bunch of input numbers and output numbers that were run through an algorithm that I don't know. What is the approach for discovering the algorithm that generated the outputs? I assume this is possible by comparing the input to the output,…
