Tagged Questions

293 views

Is formal logic necessary for pure/“higher” mathematics?

I'm asking this as an autodidact who wants to learn math rigorously for its own sake. And I was just wondering if understanding proofs could be achieved without a formal grounding in symbolic logic. I ...
140 views

A graph of all of mathematics

In mathematics, one often makes (proves) statements on the basis of: Previously proven statements Axioms I like to think of these dependencies as a directed graph, with edges from the accepted ...
107 views

Advice on taking a Course in Logic.

Is a course in Mathematical Logic necessary for a well-rounded Mathematical education? I asked a question about taking a Set Theory course before and was advised to do so. However the course offered ...
38 views

Other conditions than necessary and sufficient conditions, $\Rightarrow$, $\Leftrightarrow$?

I know that $$A\Rightarrow B$$ means that $A$ is a necessary condition for $B$ and $B$ is a sufficient condition for $A$. Also, $$A\Leftrightarrow B$$ means that $A$ is necessary and sufficient ...
167 views

Explain/illustrate Goedel's theorems and possible implications to non-mathematicians

I am asked to give a talk about (a) mathematical practice, (b) axiomatization, (c) Gödel's theorems and (d) possible antimechanist arguments based on the incompleteness theorems (as mentioned in P ...
157 views

Explain mathematical practice and axiomatization to non-mathematicians

I am asked to give a talk about (a) mathematical practice, (b) axiomatization, (c) Gödel's theorems and (d) possible antimechanist arguments based on the incompleteness theorems (as mentioned in P ...
765 views

Does learning logic and set theory before arithmetic, algebra, and geometry have an advantage?

I'd like to become conversant in a wide variety of serious mathematics, but i'm currently one of those students who did very poorly on mathematical subjects in school, never completing even basic ...
52 views

Knotted up over “unique”

"Every boy has a unique shirt." Does this mean no two boys share the same shirt, or does it mean no two shirts belong to the same boy? I suppose the former, but then what is the most succinct way ...
139 views

Riddles involving Truth Tables

I'm looking for a simple riddle I can use to introduce the concept of a truth table. Thanks
194 views

Starting my nephew out on the journey to higher mathematics.

My nephew is 8 years old and shows great promise as a student. Sadly, as most of you know most programs in secondary education don't offer any foundational courses for higher mathematics. What ...
151 views

A Formal and Precise treatment of Simplification?

I am looking to gain a deeper understanding of, and increase my own skill in "Mathematical Simplification". But I've been finding the concept overly vague and haven't been able to find any good ...
The classic "modern logic" game of WFF 'N PROOF uses a set of symbols to represent logical relations that I've seen used nowhere else: $C$ for then; $A$ for or; $K$ for and; $E$ for if and only if; ...