Skip to content

Math Research of Victor Porton

  • 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: numbers

  • Home
  • Blog
  • numbers
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