“For us there is no ignorabimus, and in my opinion none whatever in natural science. In opposition to the foolish ignorabimus our slogan shall be ‘We must know, we will know’.” —David Hilbert, a little before Gödel totally pwned him.
Welcome to my humble site! I hope you enjoy your stay. Here I’ll be publishing mostly notes on mathematical logic, occasionally on philosophy and Linux. The logic stuff is offered “as is”, without any warranty as to its correctness! 🙃