/sci/ - Science & Math

>there can be no debate

(1+2+3+4+...) - (1+2+3+4+...) + (1+2+3+4+...) - ...

What's it equal you faggots?

Got one in my CS class. He says Python is better than C/C++ for embedded programming because there are already-made libraries for I2C on it (I2C on C/C++ on a Unix system takes literally 5 minutes to learn). That and he thinks it's unnecessary to do some measurements to judge the accuracy of our sensors because "we can just read the manual (which was dog shit btw) or google that." Did I mention he was incapable of understanding what raising a linear endomorphism to an integer power meant?

>>9678533
>reeden gumprenjun

>>9655542
>atheist pride
>logo is some dude worshipping something

>>9566123
>reduce caloric intake by 100%
>live twice as long
the absolute state of popsci retards

>using parentheses for sets

>>9513789
Figure 1b

>>9496654
>enraging

>>9457670
https://youtu.be/YjuKP3rwz0c?t=3965
Shit, he's taking about real brainlets!

>>9436257
Cool, give some peer reviewed sources which support your statement in full or fuck off.

>>9411121

>our theories break down

>>9373850
Please reveal their secrets. I need this.

>>9356415
>it takes human beings walking on the moon to put some equipment there

>>9348440
>nat : ∀α.(α→α)→(α→α)

>zero : nat
>zero : ∀α.(α→α)→(α→α)
>zero : ∀α.τ τ = (α→α)→(α→α)
>Λα.m ∶ ∀α.τ zero = Λα.m
>Γ,α ⊢ m:τ
>Γ,α ⊢ m:(α→α)→(α→α)
>Γ,α ⊢ m:t1→t2 t1, t2 = α→α
>Γ,α ⊢ λf∶t1.M:t1→t2 m = λf∶t1.M
>Γ,f∶t1 ⊢ M∶t2
>Γ,f∶α→α ⊢ M∶α→α
>Γ,f∶α→α ⊢ M∶t4→t5 t4, t5 = α
>Γ,f∶α→α ⊢ λx∶t4.N:t4→t5 M = λx∶t4.N
>Γ,f∶α→α,x∶t4 ⊢ N∶t5
>Γ,f∶α→α,x∶α ⊢ N∶α
>Γ,f∶α→α,x∶α ⊢ x∶α N = x
>no remaining proof goals

>zero = Λα.m = Λα.λf∶t1.M = Λα.λf∶α→α.M = Λα.λf∶α→α.λx∶t4.N = Λα.λf∶α→α.λx∶α.N = Λα.λf∶α→α.λx∶α.x

>We have proved that 0 is a natural number. The rest is left as an exercise to the reader.

>>9340601
>Representing irrationals as a decimal value

"some physicists believe....."