[ 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: 15 KB, 562x327, Screenshot from 2018-12-18 21-04-15.png [View same] [iqdb] [saucenao] [google]
10225315 No.10225315 [Reply] [Original]

>arithmetic is ea-

>> No.10225317

>>10225315
>0/0

You absolute brainlet

>> No.10225319

>>10225315
0/0 is undefined, therefore 7/10 - 7/10 is also undefined. Checkmate atheists

>> No.10225321

>>10225315
Youre just really fucking stupid. No need for a thread

>> No.10225322

>>10225317
>You absolute brainlet

You absolute brainlet

>> No.10225323

>>10225315
Everyone knows there is always a little left, like if I have a pie and I eat the whole pie there will still be a little stuck to the pan.

>> No.10225327

Why are /sci/ posters the worst at identifying sarcasm/jokes
I notice many reply serioisly to obvious joke threads involving "needing to learn x in y time. Am i fucked??"

>> No.10225554

>>10225315
in formal logic, a function symbol is always defined *everywhere* (in its corresponding sort/type).

Sounds crazy but in fact it is possible to prove that in a field, 0* (0/0) = 0 , in a formal prover like COQ !
Because 0/0 is term in the theory, it is just that we don't know its value (what is happening is outside the axioms of field theory)

>> No.10225685
File: 18 KB, 485x443, 1518245437203.png [View same] [iqdb] [saucenao] [google]
10225685

0 and 0/10

>> No.10226155

>>10225327
sorry, I didn't realize that anybody could possibly be dumb enough to think those were funny, so I dismissed the possibility