Skip to content

Math Research of Victor Porton

  • SCIENCE
  • Home
    • Blog
    • Soft
  • Algebraic General Topology
    • Paperback
    • Ebook
    • PDF
  • Axiomatic Theory of Formulas
    • Paperback
    • Ebook
    • PDF
  • Limit of a Discontinuous Function
  • More
    • Donate
    • Review
    • Publish
    • Politics
  • Prize

Month: December 2012

  • Home
  • 2012
  • December
Formalized math

Toward formalization of partial infima and suprema

By Victor Porton
On December 31, 2012

I’ve written a short note about suprema and infima in formal math: Toward formalization of partial infima and suprema It is especially useful for these who do math formally (in proof assistants), but may be inspiring for regular mathematicians too.

read more
Uncategorized

Complete relativity theory

By Victor Porton
On December 15, 2012

Disclaimer: I am not a physicist. Einstein has discovered that some physical properties are relative. In this blog post I present the conjecture that essentially all physical properties are relative. I do not formulate exact details of this theory, a thing which…

read more
#physical theory#physics#relativity theory#science
Top

Copyright © 2023 Math Research of Victor Porton - WordPress Theme : By Sparkle Themes

  • SCIENCE
  • Home
  • Algebraic General Topology
  • Axiomatic Theory of Formulas
  • Limit of a Discontinuous Function
  • More
  • Prize
  • SCIENCE
  • Home
    • Blog
    • Soft
  • Algebraic General Topology
    • Paperback
    • Ebook
    • PDF
  • Axiomatic Theory of Formulas
    • Paperback
    • Ebook
    • PDF
  • Limit of a Discontinuous Function
  • More
    • Donate
    • Review
    • Publish
    • Politics
  • Prize