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

Formalistics of generalization

  • Home
  • Formalistics of generalization
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 proof assistants.

#computer proof#logic#logics#math logic#numbers#proof assistants#set theory

Post navigation

Proposal: Conjecture about complementive filters
Partitioning of a lattice element: a conjecture

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Recent Posts

  • Israel policeman who is a climate denier and facts
  • Time machines, quantum mechanics, and word of God
  • Improving NP-complete algorithms
  • [ERRONEOUS] A proof of P=NP using a Merkle tree – a new version
  • [ERRONEOUS] A proof of P=NP using a Merkle tree

Recent Comments

  1. The conflict between people and Elochim – repentance of Elochim! - Witness Without Court on Improving NP-complete algorithms
  2. The conflict between people and Elochim – repentance of Elochim! - Witness Without Court on Time machines, quantum mechanics, and word of God
  3. Time machines, quantum mechanics, and word of God – Math Research of Victor Porton on Improving NP-complete algorithms
  4. Alternative theory for Hawking radition - Witness Without Court on An infinitely big structure in the center of a black hole?
  5. porton on [ERRONEOUS] A proof of P=NP using a Merkle tree – a new version
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