Leslie Lamport's "How to Write a 21st Century Proof" is great: https://lamport.azurewebsites.net/pubs/proof.pdf Good point that we haven't come up with notation for proofs like we did for equations.
13:04 - 19. sij 2020.
0 replies
1 proslijeđeni tweet
4 korisnika označavaju da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.