3 ms·
Being logical in social life is pretty much completely different from being logical in a mathematical argument, especially in a formal theorem proving environme
by nybsjytm 2y ago
Being logical in social life is pretty much completely different from being logical in a mathematical argument, especially in a formal theorem proving environment. (Just try to write any kind of cultural proposition in a formal language!)
- whatshisface 2y agoThat's the way things are now, but this regime came about when proving things took intense concentration and specialized skills that very few people had. Contrast going to look something up in a library with googling something during a conversation.