An Introduction to Filters—What’s So Special About This Partially Ordered Set?

An Introduction to Filters—What’s So Special About This Partially Ordered Set

AGT isn’t new math that’s intended to replace existing mathematical theory, but rather a novel way to express mathematical concepts which were previously inexpressible. I indulge these ideas because I believe, as is the modus operandi for all academics, that any worthwhile, logically consistent idea must be pursued until it is falsified or verified for […]

A Book for Mathematicians and Programmers – Axiomatic Theory of Formulas

Algebraic 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 […]

Limit of Discontinuous Function

No root of -1? No limit of discontinuous function? Like as once roots were generalized for negative numbers, I succeeded to generalize limits for arbitrary discontinuous functions. The formula of limit of discontinuous function is based on algebraic general topology, my generalization of general topology in an algebraic way. The formula that defines limit of […]

A new easy theorem in my draft

A new easy theorem in my draft. Theorem $latex \mathrm{DOM} (g \circ f) \supseteq \mathrm{DOM} f$, $latex \mathrm{IM} (g \circ f) \supseteq \mathrm{IM} g$, $latex \mathrm{Dom} (g \circ f) \supseteq \mathrm{Dom} f$, $latex \mathrm{Im} (g \circ f) \supseteq \mathrm{Im} g$ for every composable morphisms $latex f$, $latex g$ of a category with restricted identities. Proof […]

Responses to some accusations against style of my exposition

This is a very short addition to my book, in response to a person who criticized my style. He may be partly right, but: The proofs are generally hard to follow and unpleasant to read as they are just a bunch of equations thrown at you, without motivation or underlying reasoning, etc. I don’t think […]

Offtopic: Formalized Gospel theology

This is partly an offtopic post in my math blog. It seems likely that I discovered a category in which such objects as the Father and the Son from the Gospel appear. I am not sure I really discovered God, but this seems likely. Consider a category (there seems to be multiple ways to add […]

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 […]