Ako te zanimaju i vesele rigorozno raspisani dokazi osnovnih svojstava brojeva, zašto ih ne probaš napisati u "proof assistantu" poput [url=https://coq.inria.fr/]Coqa[/url] ili [url=https://wiki.portal.chalmers.se/agda/pmwiki.php]Agde[/url]? Neka ti kompjutor provjeri je li dokaz točan.
Pogledaj npr. prva dva poglavlja knjige [url=https://plfa.github.io/]Programming Language Foundations in Agda[/url]. Ako ti je draži Coq (koji je btw puno korišteniji i rašireniji u praksi), početna poglavlja knjige [url=https://softwarefoundations.cis.upenn.edu/lf-current/index.html]Software Foundations Vol. 1: Logical Foundations[/url] prolaze iste stvari.
Nema rigoroznijeg od toga. Ako prođeš kroz te knjige razumjet ćeš principe indukcije i rigorozne dokaze teorema na jednoj sasvim novoj razini. A i otkrit ćeš puno mind-blowing stvari. :)
Ako te zanimaju i vesele rigorozno raspisani dokazi osnovnih svojstava brojeva, zašto ih ne probaš napisati u "proof assistantu" poput Coqa ili Agde? Neka ti kompjutor provjeri je li dokaz točan.
Pogledaj npr. prva dva poglavlja knjige Programming Language Foundations in Agda. Ako ti je draži Coq (koji je btw puno korišteniji i rašireniji u praksi), početna poglavlja knjige Software Foundations Vol. 1: Logical Foundations prolaze iste stvari.
Nema rigoroznijeg od toga. Ako prođeš kroz te knjige razumjet ćeš principe indukcije i rigorozne dokaze teorema na jednoj sasvim novoj razini. A i otkrit ćeš puno mind-blowing stvari.
_________________
I don't know half of you half as well as I should like; and I like less than half of you half as well as you deserve.