Differences

This shows you the differences between two versions of the page.

--- formal_methods [2022/02/06 13:44] – domin144
+++ formal_methods [2022/02/06 14:10] (current) – domin144
@@ Line 1: / Line 1: @@
 ====== Formal methods ======
+{{indexmenu_n>20}}
 ===== My pursue for math in computers =====
@@ Line 27: / Line 28: @@
 Numerous problems appeared.
 How to e.g. represent a generic subset of real numbers?
-One could try to represent it a sum o ranges.
+One could try to represent it a sum of ranges.
 This would not cover e.g. set of rational numbers.
+Even a set of even numbers would have an infinite representation.
 The conclusion is: to have a generic representation for mathematical objects, one has to keep it's symbolic definition, just like one writes it in ones paper notebook!
@@ Line 43: / Line 45: @@
 Reading the introduction was enlightening.
 All mathematics reduced to few axioms, inference rules and the rewrite principle.
-This book is a must read for every mathematician or engineer.
+This was my first encounter of axiomatic approach, set theory, etc.
+I think, the first chapter of this book is a must read for every mathematician or engineer.
 Now, what was needed was a [[computer algebra systems|computer algebra system]], which would produce, apart from the result, a proof of the results correctness.