Question = -Re: ==Q===is there a proof for everything?:[in]A====answer[-in:]A=Yes.
in [Math]
|
Prev: factor favorite food phon book 7-digit no. on casio fx-82 MS schools scicalc.
Next: Naming Set Theory "NST".
From: http://meami.org on 4 Oct 2009 00:17 Hypersm:::::::====yymmmmmmmmmmmmmmmmmmmmmzzZEnicalphi::::::::All exists exists proof. --meami.orgbothumanand/orbooleanlogicprooftruth- Booj-j+'k' of Godel's scary bats(a)Halloween yeartimenon-stopdate [pring~~trf-- Aatu Koskensilta wrote: > William Hughes <wpihughes(a)hotmail.com> writes: > > > I could not see how to formalize the proof without writing down a > > Goedel sentence. I do. -God = el sentence + I did. ==simple math X = x - (x+1) + x + 2 Let x+1=y Let x + 2 = z math booklets > > Why? Why what? Why ask why? Why what what? What what what what? The proof as usually presented does not involve writing down any 2lessthansymbols=<<>>-2greaterthansymbols G[this space for lease. Small 1by1 unit. No parking. By the beach. $1MM payable form check from Clay Mathematics Institute to cure childhood cancer�]delete [nothing] sentence.[Except th(a)at what ois not t[here] it['>]t[here]. See it now? Note that the theorem is of the form "for all formal =greaterthansymbol==> theories T meeting certain criteria [what criteria is]there [?] is a Greaterthansymbol=sentence G such that >-greaterthansymbol . is a Greaterthansymbol=sentence G such that-@=th...". Obviously we [who?] can't [what?] expect q=[what]? to prove such general statement by >=gretelaziness exhibiting a particular formula. > > > That=Th(a)space=there is no thing+space intrinsically wrong with an "in - formal proof".= proof in + formol(a)ureadithere1st > > Yes, but what is the relevance of this observation? All truth exists independent of agreement or obseervance to make up a word meshing seer and observance. All mathematical > proofs can be formalised, after all. Of course all proof exists after all all exists exists after all silly God with his El problems! > > -- > Aatu Koskensilta (aatu.koskensilta(a)uta.fi) > > "Wovon mann nicht sprechen kann, dar�ber muss man schweigen"enicaphi=Connection Information Host: UID = GPMDSNA01 Duration: 04:56:08 Bytes Sent: 11800 Bytes Received: 676323 Security Settings Information unavailable [Tt=ranslate]a > - Ludwig Wittgenstein, Tractatus Logico-Philosophicus Iamameami.orgmanmademachination. Space:::::::- Enicalphi::::::::Connection Information Host: UID = GPMDSNA01 Duration: 04:56:08 Bytes Sent: 11800 Bytes Received: 676323 Security Settings Information unavailable |