Analyzing the role of two key qualities of sound, logical thinking, and how they can help you improve your reasoning and argumentation skills.
Next step, force yourself to be both formal and rigorous (tedious dimension not taken into account) by writing your proof in some theorem prover language like Lean:
https://leanprover-community.github.io/index.html
You monster!
Once you have a language for verifying proofs, what's stopping you from generating new proofs? Other than Godel of course.
Wonderful article! Well done!
Thanks!
An article the world needs! PS: I just have to ask, what dk you use for your image generation man?
SDXL via monsterapi.ai
amazing
Next step, force yourself to be both formal and rigorous (tedious dimension not taken into account) by writing your proof in some theorem prover language like Lean:
https://leanprover-community.github.io/index.html
You monster!
Once you have a language for verifying proofs, what's stopping you from generating new proofs? Other than Godel of course.
Wonderful article! Well done!
Thanks!
An article the world needs! PS: I just have to ask, what dk you use for your image generation man?
SDXL via monsterapi.ai
amazing