User Taylor Hornby - MathOverflow

Taylor Hornby

Member for 1 year, 2 months
Last seen more than a month ago

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

Badges

This user has not earned any badges.

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

33

How is first-order logic complete but not decidable?

8

Is it possible to construct proof systems that look consistent for short proofs, but are actually inconsistent?