/sci/ - Science & Math

>every consistent set of formulas in first order logic has a model
>there is a consistent set of formulas in second order logic that doesn't have a model

Are the Ancient Greeks /sci/ approved?

Does anyone else find themselves taking an interest in another subject whilst studying STEM at uni?
Is this bad?
Like can i read sophocles while i do a physics degree or will it get in the way?

>>11833583
>>11833560
a nice place to discuss science and contemplate math

Why do the mods allow mathematics on /sci/? That imaginary game of manipulating symbols according to weird rules has no relevance to science and the physical world

>>8736133
Anon, just because those people were christians and did science does not mean that christianity is somehow to credit for their scientific work.
The only real way you could argue that is if you can prove that Christianity (and no other religion) could have inspired their work.
If you want to turn this into a dick measuring contest, hellenistic pagans had far more philosophers and scientists per capita than christians and their scientific discoveries formed the basis for nearly all of western science and philosophy.

>>8039830
i also pictured sci as a collection of academics who congregated to discuss important topics professionally, ie this pic.

so you can see how flawed my perception of this board was at the time

>>6977674
>zero radius
>radius implies circle
>circle implies diameter
how the fuck do you get circularity then if 0+0=0