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

Follow Victor Porton's Math Blog on WordPress.com


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

Me on MathOverflow

Me on math.StackExchange.com


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

Follow Victor Porton's Math Blog on WordPress.com