My homepage | My math page | My math news | Donate for the research


My Math Discoveries - Victor Porton


I work in the following areas of mathematics:

General Topology

I discovered Algebraic General Topology, a new field of math which will replace old General Topology. Mathematical Synthesis is how I call Algebraic General Topology applied to study of Mathematical Analysis.

Among other things, it hides epsilon-delta notion behind a smart algebra.

Logic and formalized mathematics

Generalization in ZF (an article + Isabelle computer proof assistants sources).

Misc math

The rest of my mathematical materials.

Misc

Math Research Trends wiki

Me on MathOverflow

Me on math.StackExchange.com


My homepage | My math page | My math news | Donate for the research