[ 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: 78 KB, 578x800, K.jpg [View same] [iqdb] [saucenao] [google]
9832383 No.9832383 [Reply] [Original]

3+4=7 is an a priori synthetic judgement.
Prove me wrong.

>> No.9832389
File: 62 KB, 620x390, 5b3.jpg [View same] [iqdb] [saucenao] [google]
9832389

>>9832383

>> No.9832400

>>9832389
Why the long face?

>> No.9832463

>>9832389
Not an argument

>> No.9832503

>>9832463
>Not an argument
The mating call of the brainlet.

>> No.9832512

Numbers written using Arabic numerals are just the labels we use for convenience to represent certain mathematical objects. The sentence "3+4=7" is meaningless without a theory behind it. Under Peano arithmetic, mapping 3 to s(s(s(0))), 4 to s(s(s(s(0)))), and 7 to s(s(s(s(s(s(s(0))))))), 3+4=7 is provably true.

>> No.9832514

>>9832383

you have to prove it right brainlet

>> No.9832632

>>9832514
I don't have to explain shit, truth is self-evident.

>> No.9832931

>>9832632
>truth is self-evident.
No it isn't.

>> No.9833220
File: 111 KB, 625x773, 1513610851775.png [View same] [iqdb] [saucenao] [google]
9833220

>>9832389
>muh burden of proof!!!

wow

>> No.9833225

>>9832632
The absence of evidence is evidence of absence.

>> No.9833228

>>9833225
True, but it's not PROOF of absence

>> No.9833308

>>9832383
>precursor to postmodern philosophy tried to disprove numbers as being made up in our heads to obscure the fact that he was a 5'0" MANLET.

>> No.9833548

>>9832383
Lrn2successor-function fgt pls

>> No.9833585

No, it's just a tautology. Rüssel btfo brainlet Kant.

>> No.9834224

>>9833585
Utter moron.

>> No.9835379

>>9832389
That means you have to PROVE that the burden of proof is on he who makes the claim

>> No.9835430

>>9834224
You're a tautology of a moron.