Skip to content

    Math Research of Victor Porton

    Because I didn't succeed to publish my 457 pages article stuck in half-published state (I didn't succeed by parts, too), I plead with God to destroy mankind, that lost ordered semigroup actions, and create a new civilization from me. I can't get a publication grant, because I have no scientific degree. I didn't finish a university course because of religious discrimination. You don't pay for me taking a university course again because of your greed. Conclusion: Mankind dies because of infinite greed of just one human, you.

    • SCIENCE
      • Journal with post-moderation
      • World Science DAO
    • Home
      • Blog
      • Soft
    • Algebraic General Topology
      • Paperback
      • Ebook
      • PDF
    • Axiomatic Theory of Formulas
      • Paperback
      • Ebook
      • PDF
    • Discontinuous Analysis
      • Full Course
    • More
      • Donate
      • Review
      • Publish
      • Politics
    • Prize

    Tag: computer proof

    • Home
    • Blog
    • computer proof
    Uncategorized

    Formalistics of generalization

    By Victor Porton
    On September 11, 2009

    In the framework of ZF formally considered generalizations, such as whole numbers generalizing natural number, rational numbers generalizing whole numbers, real numbers generalizing rational numbers, complex numbers generalizing real numbers, etc. The formal consideration of this may be especially useful for computer…

    read more
    #computer proof#logic#logics#math logic#numbers#proof assistants#set theory
    Top

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

    • SCIENCE
    • Home
    • Algebraic General Topology
    • Axiomatic Theory of Formulas
    • Discontinuous Analysis
    • More
    • Prize
    • SCIENCE
      • Journal with post-moderation
      • World Science DAO
    • Home
      • Blog
      • Soft
    • Algebraic General Topology
      • Paperback
      • Ebook
      • PDF
    • Axiomatic Theory of Formulas
      • Paperback
      • Ebook
      • PDF
    • Discontinuous Analysis
      • Full Course
    • More
      • Donate
      • Review
      • Publish
      • Politics
    • Prize