https://shiraz-k.com/tags/general/ Recent content in General on Shiraz Hugo en-us Sat, 18 Mar 2023 21:07:38 -0400 https://shiraz-k.com/posts/cat_theory_1/ Sat, 18 Mar 2023 21:07:38 -0400 https://shiraz-k.com/posts/cat_theory_1/ One of my motivations for starting a blog was Eugenia Cheng’s book The Joy of Abstraction. It’s a surprisingly accessible, gentle introduction to category theory, a topic that is usually only taught to graduate students in math. In this post, I will introduce the main ideas in category theory and show that it offers an elegant way of thinking about mathematics. https://shiraz-k.com/posts/language_and_logic2/ Sun, 05 Feb 2023 08:46:18 -0500 https://shiraz-k.com/posts/language_and_logic2/ I suggested that there is no objective notion of logical truth, that whether a statement is ’true’ can depend on the system of truth that one is operating in. Here we will develop that argument further using the concept of axiomatic systems. https://shiraz-k.com/posts/language_and_logic1/ Fri, 27 Jan 2023 13:48:49 -0500 https://shiraz-k.com/posts/language_and_logic1/ This post discusses the question of whether spoken and written languages like English could be ’logical’ by design. The first part does not require a mathematical background, whereas the second touches on the concepts of axioms, theorems and proofs.