Logic
Count.
Please find linked:
- Som Sadashiv Phene . Pandurang Deore . May 16, 2021 06:22 AM Eastern Time (US and Canada)- Meeting SoS IITB - Logic 01-02 I
- Axiom : constraint (alphabet)
- Proof : Recursive constraint
- Proof of irrationality of \(\sqrt{2}\)
- Sequence: monotone converges (equilibrium identity is convergence for monotone order variety)
- Converge is inf sup commute
- Sentence : Alphabet String
- Theory : Maximum encoding
- Consistent :
- Complete : All encoded
- Finding the analogue for geometric problem
- (1928 Hilbert, Wilhelm Ackermann) Mathematics Axiom program
- (1931 Gödel) Recursive arithmetic theory incomplete : Arithmetic encoding
- Proof based on Self reflection to be maximal. Local to global connection
- Tarski
Self Reflection Unique identity