In recent times I have seen that there are some questions that appear repeatedly in the comments of the blog. For example, among others, How is it possible that a system of axioms is consistent even when you add the statement that says the system is not consistent?, Can be demonstrably a false statement?, "If a statement is not provable, how can we know to be true?
Perhaps the appellant recurrence of these doubts is because I could not, or I have not heard, in the limited space that support the comments of the entries, appropriately elaborate the necessary explanations.
For this reason, I have written a text a little larger than allowed by the comments. In this text is to dispel the questions I listed above and others related to them. The text is divided into nine parts, contained in separate blog entries for a neighbor. To see the first part, just dive into this link . Thanks.
0 comments:
Post a Comment