NamelessMay 12, 2024

Bi-univocal relationship between generative grammars and formal logics; may be wrong: only take questions.

https://github.com/senzanome75/Math-Proofs/blob/main/screenshot-chatgpt.com-2024.05.12-10_34_54.png

#Italy #Democracy #Math #GenerativeGrammars #FormalLogics

Math-Proofs/screenshot-chatgpt.com-2024.05.12-10_34_54.png at main · senzanome75/Math-Proofs

Attempt at Mathematical Proofs. Contribute to senzanome75/Math-Proofs development by creating an account on GitHub.

GitHub