[ 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: 30 KB, 640x512, MOCHIZ02.jpg [View same] [iqdb] [saucenao] [google]
7265015 No.7265015 [Reply] [Original]

What is the best field of math and why is it geometry?

>> No.7265022
File: 159 KB, 634x1024, rs_634x1024-131203141548-634.lorde-bikini-beach-boyfriend-james-lowe-120313.jpg [View same] [iqdb] [saucenao] [google]
7265022

>>7265015
>why is it geometry?
because the thoerems from Godel do not apply to geometry

check mate, number theorists

>> No.7265024

>>7265022
Is this ViHart?

>> No.7265064

>>7265015
algebraic geometry

>> No.7265227

>>7265015

Surely you mean Combinatorial Geometry. Otherwise I'd mistake you for a plebeian.

>> No.7265312

Logic

>> No.7265315

>>7265015
>and why is it geometry?
You misspell analytic number theory.

>> No.7265317

>>7265015
i like discrete math :3

>> No.7265337

>>7265312
seconded. recursion theory is where its at

>> No.7265343

>>7265024
No it's Mochizuki and Lorde cuddling.

>> No.7265351

>>7265015
>>7265064
>>7265227
>>7265312
>implying logic and geimetry aren't one and the same at their core
>implying spaces with lots of structure can't facilitate powerful internal logics
>implying every logic doesn't generate a space of types
Open your eyes, and prepare your body for homotopy type theory.

>> No.7265396

Replace "best" with "autistic" and the posts in this thread may be right,

>> No.7265440
File: 116 KB, 468x600, YuanEmperorAlbumGenghisPortrait.jpg [View same] [iqdb] [saucenao] [google]
7265440

>>7265015

>and why is it rational trigonometry

ftfy

>> No.7265488

>>7265024
no vihart is actually kind hot. its lorde, she looks like a human potato sack.

>> No.7265498

>>7265022
Yes they do. Assuming you mean geometry in the general sense, and not just the plane geometry that you studied in high school.

>> No.7265929

>>7265015
Anything expanded from a Discrete Mathematics class is the most fun.

Everything else is just useful

>> No.7266487
File: 28 KB, 664x296, Screenshot-from-2014-12-12-172350.png [View same] [iqdb] [saucenao] [google]
7266487

>>7265015
Topos

>Why? The idea is this:
>Constructive reasoning allows maps to be treated as generalized points.
>Locales give a better constructive topology (better results hold) than ordinary spaces.
>The constructive reasoning makes it possible to deal with locales as though they were spaces of points.

>Conceptually, a locale is a propositional geometric theory pretending to be a space.

>space <> logical theory
>point <> model of the theory
>open set <> propositional formula
>sheaf <> predicate formula
>continuous map <> transformation of models that is definable within geometric logic
>Opens are Propositions

>A topology (on U, say) has enough lattice structure to model intuitionistic logic: ∩ and ∪, which both preserve openness, model the connectives ∧ and ∨.

>If a proposition P <> open set P,
>then ¬P <> the interior of U–P
>If a proposition Q <> open set Q,
>then P->Q <> the interior of (U–P)uQ

>When I say that a topos is a “generalized space,” it is a space in which the opens are insufficient to define the topological structure, and sheaves have to be used instead.


http://rin
.io/swashbuckling-topoi/

>> No.7267341

>>7265015
Physics

>> No.7267359

number theory and topology

>> No.7267376

>>7267341
Computer Science :,^)