[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 1.33 MB, 720x348, WTF_T.gif [View same] [iqdb] [saucenao] [google]
9663572 No.9663572 [Reply] [Original]

Is there a proof ? why can't it not equal 1 ? or 5 ? brainlet here.

>> No.9663580
File: 42 KB, 794x329, Capture.jpg [View same] [iqdb] [saucenao] [google]
9663580

>> No.9663594

>>9663580

could you break it down please. Looks like a copy pasta.

>> No.9663597

>>9663572
>>9663580
^This, OP.
Do you have time to read 379 pages of proof?:
https://quod.lib.umich.edu/cache/a/a/t/aat3201.0001.001/00000001.tif.20.pdf#page=1;zoom=75

>> No.9663598

>>9663572
1+1=10 in binary.

>> No.9663661

>>9663597
>>>9663572 (OP)
>>>9663580
>^This, OP.
>Do you have time to read 379 pages of proof?:
>https://quod.lib.umich.edu/cache/a/a/t/aat3201.0001.001/00000001.tif.20.pdf#page=1;zoom=75
Literal retard, the proof is immediate. The preceding 379 pages are almost completely unrelated. They establish a much broader foundation for math, this is just a theorem that happens to be put there.

>> No.9663671

>>9663661
>almost completely unrelated
Except for the part where they establish the entire framework that allows for the proof to work. There's a reason it's not on page 1.

>> No.9663675

>>9663572
actually 1 + 1 is 11 so long as they're strings

>> No.9664369

>>9663572
https://en.wikipedia.org/wiki/Peano_axioms#Addition

>> No.9664378
File: 20 KB, 4156x384, trivial proof.png [View same] [iqdb] [saucenao] [google]
9664378

>>9663572
>brainlet here
Guaranteed b8.

>>9663580
>>9663597
What is it? 1680?

>> No.9664381
File: 45 KB, 600x600, disgust.jpg [View same] [iqdb] [saucenao] [google]
9664381

>>9664378
>natural deduction

>> No.9664382

>>9664381
Give me one (一 for you honorary furries) argument against sequent calculus.

>> No.9664385

formal proof:
http://tachyos.org/godel/1+1=2.html?=$tag?%3E

>> No.9664396

>>9664382
Starting from the bottom of the page, no idea how long proof will be so you have to guess as to where to put your first assumption, then if it doesn't fit you have to rewrite it. Benefits of a Hilbert system are linear proofs downwards line by line, proving soundness is easy with two rules of inference.

>> No.9664401
File: 77 KB, 645x729, brainlet19.png [View same] [iqdb] [saucenao] [google]
9664401

>>9664396
>wut is leyyteks