A "Proof Formula" for all maths or formal logic?

  • A
  • Thread starter moriheru
  • Start date
  • #1
272
17
I was wondering whether or not there could be a "master formula" . What I mean by a master formula is, maybe not even a formula, some mathematical expression that would allow mathematicians to prove statements simply by plugging in some numbers into a formula.

So I guess in a way a I am talking about a " proof formula" . To be more precise: shouldn't it be possible to find for example by interpolation, a formula that relates the validity of a theorems statement to its Gödel number. I am aware that mathematics is a vast and complicated language, but would this be possible for first order logic or other simpler formal theories .

I believe the reverse process is certainly easier though. I can easily set up a formal theory in which I choose my axioms and inference rules in such a way that for example every theorem with a Gödel number divisible by 17 and 2 is true.

I am aware that I have used the term maths in a rather loose fashion. I am no expert, but there surly is no one mathematical language. Topology may have different rules than Order theory and hence be a different formal theory. Additionally, what about the incompleteness of forma, theory such as arithmetic. Any thoughts...
 
Last edited by a moderator:

Answers and Replies

  • #3
272
17
I am a aware of automated proofs such as the W-Z method, but that wasn't quite the point I was trying to make or inquire upon. I was more specifically asking whether a connection can be made between the validity of a statement in a formal language and it's Gödel number and how incompleteness may effect this. Nevertheless the Isabel link was very interesting thank you!
 
  • #4
34,814
10,983
You can list all valid statements in a specific order. With sufficient resources, you'll find the Gödel number of every proof of length < N for large N. How does that help?
 

Related Threads on A "Proof Formula" for all maths or formal logic?

Replies
14
Views
2K
Replies
1
Views
728
  • Last Post
Replies
2
Views
2K
Replies
40
Views
1K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
10
Views
4K
  • Last Post
2
Replies
25
Views
4K
Replies
10
Views
3K
Replies
7
Views
2K
Replies
13
Views
825
Top