/sci/ - Science & Math » Thread #11285403

292KiB, 960x792, 71729529_382947882655730_4568959984414490624_n.png

View Same Google iqdb SauceNAO

Is category theory the best math field

Anonymous Tue 07 Jan 22:27:10 2020 No.11285403 View Reply Original Report

Quoted By: >>11285415

and why is it the best ?

Anonymous

Anonymous Tue 07 Jan 2020 22:33:38 No.11285415 Report

Quoted By: >>11285450

>>11285403
the proofs in cat theory are very short

Anonymous

Anonymous Tue 07 Jan 2020 22:53:43 No.11285450 Report

Quoted By: >>11285458 >>11285588

>>11285415
I fucking hate proofs. I hate them I refuse to use them. I will only ever use the formulas. t. Engineer

Anonymous

Anonymous Tue 07 Jan 2020 22:57:30 No.11285458 Report

Quoted By:

>>11285450
proofs are important, math rigour is very important because I can imagine something different than you can so we need a well-defined concept to rely on.

Anonymous

Anonymous Tue 07 Jan 2020 23:52:29 No.11285588 Report

Quoted By: >>11286302

>>11285450
>t. Engineer
Proofs are often the algorithms realizing the propositions.

You best start using proofs. [spoiler:lit]You're in one.[/spoiler:lit]

Anonymous

Anonymous Wed 08 Jan 2020 07:13:51 No.11286302 Report

Quoted By: >>11286644

>>11285588

Some proofs are not constructive.

Constructive maths is more compatible with the IT world. Pure Platonic math is a bit like religion. A model of reality, perhaps a simplification or maybe an exact truth.

I doubt being prime (for a number) is a social construct. Is counting and organizing things in rows a social construct?

Anonymous

Anonymous Wed 08 Jan 2020 12:09:56 No.11286644 Report

Quoted By:

>>11286302
Being able to get to a syntactic expression, in finite steps, that is accepted by a type checking algorithm, is quite material.

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches