About
Principles
-
“Rather than just solving problems expressed in terms we already understand, the goal is to change the thoughts we can think.”
-
Pursuing ideas that I am truly curious about, instead of pursuing ideas out of competetion, money, etc.
Research Goals
5th May 2024
For my scientific goals, my aim to develop a project such that a computer is able to ‘reason.’ This will be unlike LLMs where the reasoning is an illusion.
The ideas here involve:
- How do proof assistants reason about mathematical objects? Are proof assistants the solution to what I am looking for?
- What is reasoning?
- Aren’t computer programs already ‘reasoning’?
- What is human reasoning?
- How do we show that ‘reasoning’ has been done, and when has a resoning been completed?
- What objects should we reason about?