From b3623e7ea5c51363304dfa2503c673b167c272b2 Mon Sep 17 00:00:00 2001 From: javiimo Date: Thu, 28 Nov 2024 11:38:11 +0000 Subject: [PATCH] Added highlighting of defs --- ...024-11-26-understanding-godel-incompleteness-theorems.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/_posts/2024-11-26-understanding-godel-incompleteness-theorems.md b/_posts/2024-11-26-understanding-godel-incompleteness-theorems.md index e2dbb04..af095b8 100644 --- a/_posts/2024-11-26-understanding-godel-incompleteness-theorems.md +++ b/_posts/2024-11-26-understanding-godel-incompleteness-theorems.md @@ -62,11 +62,11 @@ Counterreciprocal for example is based on the *modus tollens*, which is "a form ### Syntax and semantics -In mathematics, when we talk about statements, rules of logic, and axioms, we are referring to elements that exist within the realm of **syntax**. Syntax is essentially the structure or the form of our mathematical language. It is about how we write and manipulate symbols to form proofs. Think of syntax as the grammar and rules of a language that allow us to construct meaningful sentences, or in this case, proofs. The syntax allow as to say $P \implies Q$ without saying what $P$ or $Q$ are and without stating if they are true or not, nor what that "implies" actually mean. +In mathematics, when we talk about statements, rules of logic, and axioms, we are referring to elements that exist within the realm of **syntax**. Syntax is essentially the structure or the form of our mathematical language. It is about how we write and manipulate symbols to form proofs. Think of syntax as the grammar and rules of a language that allow us to construct meaningful sentences, or in this case, proofs. The syntax allow as to say $P \implies Q$ without saying what $P$ or $Q$ are and without stating if they are true or not, nor what that "implies" actually mean. -On the other hand, **semantics** is about meaning and truth. It is concerned with what these syntactical structures actually represent in the real world or in any abstract model we choose. Semantics gives life to the syntax by assigning truth values to statements, determining whether they are true or false and what they actually represent. It is to concretize the abstraction of syntax. This is where models come into play. +On the other hand, **semantics** is about meaning and truth. It is concerned with what these syntactical structures actually represent in the real world or in any abstract model we choose. Semantics gives life to the syntax by assigning truth values to statements, determining whether they are true or false and what they actually represent. It is to concretize the abstraction of syntax. This is where models come into play. -**A model in semantics** is a specific interpretation of the symbols and statements in our language. It provides a concrete context in which we can evaluate the truth of statements. For example, in Boolean logic (the most common logic in mathematics), a model might assign the truth value 'true' or 'false' to each statement and also might say that the domain is the natural numbers (the objects we are reasoning about). +**A model in semantics** is a specific interpretation of the symbols and statements in our language. It provides a concrete context in which we can evaluate the truth of statements. For example, in Boolean logic (the most common logic in mathematics), a model might assign the truth value 'true' or 'false' to each statement and also might say that the domain is the natural numbers (the objects we are reasoning about). > Syntax = proof = symbols = abstract >