See: Logic notes, Topos, PVsNP
- What is the basis for fallacy? Collect and categorize fallacies.
- Study and explain the cognitive biases of Systems 1 and 2.
- Understand how a Turing machine tape can be represented by two stacks for left and right.
Wikipedia: Logic - A study of the form of argumentation, as opposed to the content. Thus logic considers general aspects of argumentation.
Universal logic
Explore ideas
- There are only countably many computable programs, and so there are uncountably many nonenumerable sets. But in what sense are these a fiction? Show that any other mindset will also be in the same situation, but one such mindset (God's mindset) can simulate the situation of any other mindset. And those mindsets can simulate God's mindset. Thus consider our relationship with a Universally Superior Constructive Mindset.
Videos