News for hackers. Stuff that matters.
Re:Some Fundamental Theorems in Mathematics (2019) [pdf] by francasso on Wednesday August 05, 2020 @11:29AM (#24061909)
Mathematics is as much logic as poetry is grammar. Sadly most people don't know that because they never get exposed to the creative/discovery side of math. Logic is just a tool to check correctness and enable communication.
Re:Some Fundamental Theorems in Mathematics (2019) [pdf] by Konohamaru on Wednesday August 05, 2020 @03:35PM (#24064657)
Logic goes beyond truth tables: it's about being able to see the simplicity and symmetry in objects. That's why it comes from the word /logos/ which means "prevening order" (see Gospel of John).