What is the impact of contemporary logic to other field of mathematics?
Is it useless?
What is the impact of contemporary logic to other field of mathematics?
Carson Rodriguez
Evan Richardson
>What is the impact of contemporary logic to other field of mathematics?
Nothing.
Landon Turner
about as much impact as that thot you posted.
Adam Sullivan
People are pretty afraid that maybe some autist will prove some proposition and it's contradiction, makinf ZFC useless and sending formalism to the toilet. But we just have to wait TM
Evan Allen
who is this, need sauce
Leo Perez
Is this a genuine concern?
Adrian Ward
Adrian Roberts
Categorical logic and higher topos theory in particular are the most popular area at the moment among non-logicians.
Dylan Jackson
Not really, as most low level stuff doesn't need ZFC
Brody Barnes
who is this big-boob thottie
Bentley Mitchell
>People are pretty afraid
[citation needed]
Leo Gonzalez
Well, aren't you?
Ethan Fisher
Ciara Horan, more known as Eliza
Isaac Ross
Mostly in the realm of classification problems. For instance recently (2017), the quandle isomorphism problem was shown to be Borel complete, meaning just as hard as the isomorphism problem for countable groups. The quandle is a complete knot invariant, so this shows that we must less complicated invariants for knots.
Dylan Evans
>that that hoe over there
William Ortiz
post more eliza chan
Benjamin Morgan
bump
Andrew Fisher
what if it was a high impact thot?
Dominic Fisher
Computability theory
Computational complexity
Decidability problems
Type systems (more recently, HoTT)
Automated theorem proving
Proof mining
Topos theory
The general categorical relationship between axiomatizations and their models (one instance being the Curry-Howard correspondence, the relationship between computer programs and mathematical proofs)
All of these are active areas of research
Daniel Morgan
>Well, aren't you?
No.
Jordan Young
HIGH SPEED TURBO THOTS