User Taylor Hornby - Code Review Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Jobs
7. Companies
8. Unanswered
Teams

Ask questions, find answers and collaborate at work with Stack Overflow for Teams.
Try Teams for free Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Taylor Hornby

Member for 10 years, 1 month
Last seen more than 10 years 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?