Forum@DeGiorgi :: Pogledajte temu - Asocijativnost i komutativnost zbrajanja u N

Asocijativnost i komutativnost zbrajanja u N

through

[^/[Print]\]

Forum@DeGiorgi -> Čistilište

#1: Asocijativnost i komutativnost zbrajanja u N Autor/ica: AltairAC,

Postano: 20:50 sri, 3. 4. 2019
—
Ako se nekom da pogledati i komentirati (uzeti u obzir komentare na dnu):
https://math.stackexchange.com/questions/3162260/proving-that-addition-in-mathbbn-is-associative-and-commutative

Hvala!

#2: Autor/ica: Melkor, Lokacija: Void

Postano: 0:43 pon, 15. 4. 2019
—
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. Smile

Forum@DeGiorgi -> Čistilište

output generated using printer-friendly topic mod. Vremenska zona: GMT + 01:00.

Stranica 1 / 1.