Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Topic: Definition of Mathematics
Replies: 62   Last Post: Mar 6, 2012 1:22 PM

 Messages: [ Previous | Next ]
 David Yen Posts: 630 Registered: 3/1/11
Re: Definition of Mathematics
Posted: Feb 28, 2012 9:37 PM

Has anyone actually learned how to parse Godel's sentence? What if he means that there exists a G that is not provable in T? But, I already know that axioms are not provable. If axioms are provable, they are not axioms anymore. So, if G is just an element not provable in T, just make that G an axiom if it is that important. If that G is not important, then my theory is fine without it provable. So what?

So, what do you mean by consistency anyway? There exists not a G in T such that G is both true and false? Then, not only do we need to define all axioms, but we also have to define all rules of composition, which involve substitution. Are you ready to write down the complete set of all your grammars as a starting point?

If not, we can't even write a compiler for your theory, not to mention the ability to check its consistency!

If we cannot even get past this point of discussion, then our understanding of consistency is fairly shallow if not incorrect.

Date Subject Author
2/27/12 Zaljohar@gmail.com
2/27/12 Jim Burns
2/28/12 Zaljohar@gmail.com
3/3/12 Charlie-Boo
2/27/12 LudovicoVan
2/28/12 Shmuel (Seymour J.) Metz
2/28/12 Tony Bones Orlow
2/29/12 MoeBlee
2/29/12 LudovicoVan
2/29/12 microm2011@hotmail.com
2/29/12 LudovicoVan
2/29/12 MoeBlee
2/29/12 LudovicoVan
3/3/12 Charlie-Boo
3/3/12 Charlie-Boo
2/27/12 namducnguyen
2/28/12 Frederick Williams
2/28/12 namducnguyen
2/27/12 Tony Bones Orlow
2/28/12 Frederick Williams
2/28/12 Tony Bones Orlow
2/28/12 Ki Song
2/28/12 Tony Bones Orlow
2/28/12 Ki Song
2/29/12 Frederick Williams
2/29/12 Frederick Williams
2/29/12 MoeBlee
3/3/12 Charlie-Boo
3/4/12 Tony Bones Orlow
2/27/12 ruffin
2/28/12 Zaljohar@gmail.com
2/28/12 Zaljohar@gmail.com
2/28/12 Zaljohar@gmail.com
2/28/12 G. A. Edgar
2/28/12 G. A. Edgar
3/3/12 Charlie-Boo
3/3/12 namducnguyen
2/28/12 Frederick Williams
2/28/12 Zaljohar@gmail.com
2/28/12 David Yen
2/28/12 David Yen
2/28/12 ruffin
2/29/12 David Yen
3/1/12 ruffin
3/1/12 David Yen
3/1/12 David Yen
3/4/12 David Yen
3/4/12 David Yen
2/29/12 Jim Burns
3/2/12 Zaljohar@gmail.com
3/4/12 Jim Burns
3/4/12 Tony Bones Orlow
3/2/12 Frederick Williams
3/2/12 Jim Burns
3/2/12 Zaljohar@gmail.com
3/3/12 Charlie-Boo
3/5/12 Dan Christensen
3/5/12 Frederick Williams
3/5/12 Transfer Principle
3/6/12 Jim Burns
3/6/12 Rotwang
3/6/12 Michael Stemper
3/6/12 Frederick Williams