A Book for Mathematicians and Programmers – Axiomatic Theory of Formulas
A new book for mathematicians and programmers published: Axiomatic Theory of Formulas or Algebraic Theory of Formulas. The book is an undergraduate level but contains a new theory. Get it: PAPERBACK E-BOOK From the preface: This new mathematical theory developed by the book author researches the properties of mathematical formulas (aka expressions). Naturally this theory […]
My old files related with math logic
In 2005 year I put online some math articles related with formulas and math logic (despite I am not a professional logician). In 2005 I like a crackpot thought that I discovered a completely new math method replacing axiomatic method. This was a huge error (my skipped proof was just wrong). After that the files […]