A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
55
stars
3
forks
source link
Watch the talk by Tony Hoare: Great Ideas in Computer Science from Aristotle to Euclid #13
Open
prathyvsh opened 4 years ago
https://www.youtube.com/watch?v=wzd8BeVpQpw