What is the impact of contemporary logic to other field of mathematics?

girlDog
girlDog

What is the impact of contemporary logic to other field of mathematics?
Is it useless?

Attached: 1521245758916.jpg (85 KB, 1200x680)

cum2soon
cum2soon

What is the impact of contemporary logic to other field of mathematics?
Nothing.

Illusionz
Illusionz

about as much impact as that thot you posted.

happy_sad
happy_sad

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

TalkBomber
TalkBomber

who is this, need sauce

Sharpcharm
Sharpcharm

Is this a genuine concern?

VisualMaster
VisualMaster

Attached: 7E0BA65A-71FB-4E71-92C1-1CA52343F3BD.gif (1.51 MB, 425x481)

Harmless_Venom
Harmless_Venom

Categorical logic and higher topos theory in particular are the most popular area at the moment among non-logicians.

Spamalot
Spamalot

Not really, as most low level stuff doesn't need ZFC

haveahappyday
haveahappyday

who is this big-boob thottie

Poker_Star
Poker_Star

People are pretty afraid
[citation needed]

Attached: citation-needed.jpg (3 KB, 200x200)

StrangeWizard
StrangeWizard

Well, aren't you?

Methnerd
Methnerd

Ciara Horan, more known as Eliza

LuckyDusty
LuckyDusty

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.

Inmate
Inmate

that that hoe over there

Ignoramus
Ignoramus

post more eliza chan

Harmless_Venom
Harmless_Venom

bump

5mileys
5mileys

what if it was a high impact thot?

Attached: hamburg-germany-female-construction-worker-with-jackhammer-EEYAW2.jpg (177 KB, 878x1390)

Techpill
Techpill

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

Ignoramus
Ignoramus

Well, aren't you?
No.

Methshot
Methshot

HIGH SPEED TURBO THOTS

Disable AdBlock to view this page

Disable AdBlock to view this page

Confirm your age

This website may contain content of an adult nature. If you are under the age of 18, if such content offends you or if it is illegal to view such content in your community, please EXIT.

Enter Exit

About Privacy

We use cookies to personalize content and ads, to provide social media features and to analyze our traffic. We also share information about your use of our site with our advertising and analytics partners.

Accept Exit