Email the Author

You can use this page to email Victor Porton about Axiomatic Theory of Formulas.

Please include an email address so the author can respond to your query

This message will be sent to Victor Porton

This site is protected by reCAPTCHA and the Google  Privacy Policy and  Terms of Service apply.

About the Book

In Axiomatic Theory of Formulas: Algebraic Theory of Formulas (Mathematics), author Victor Lvovich Porton introduces the axiomatic theory of formulas, a novel approach to understanding and describing mathematical objects. This framework encompasses formulas from various mathematical disciplines, with a specific focus on propositional formulas in mathematical logic.

The core concept of the Formula Operator Theory is presented, offering the potential to streamline proofs of mathematical theorems. This theory positions Formula Theory as a foundational paradigm for mathematics, laying the groundwork for future mathematical endeavors.

Formulated within this framework, objects are defined as formulas with distinct components, allowing for complex structures without violating the principle of non-self-reference (i.e., loops and other infinite structures are permitted).

Author Victor Porton uses concise and effective language, expressing complex mathematical concepts through a limited set of definitions and theorems. He aims to foster a deeper understanding of the relationship between mathematical notation and the underlying ideas.

While acknowledging the potential for exploration and inquiry, the book emphasizes the importance of maintaining a rigorous and grounded approach in mathematical exploration.

Axiomatic Theory of Formulas: Algebraic Theory of Formulas (Mathematics) aimed at presenting uncompromisingly rigorous and accurate facts, demonstrating that formalism and inductive explanations operate within distinct yet complementary domains.


About the Author

Victor Porton’s avatar Victor Porton

@victorporton

Logo white 96 67 2x

Publish Early, Publish Often

  • Path
  • There are many paths, but the one you're on right now on Leanpub is:
  • Formulas › Email Author › New
    • READERS
    • Newsletters
    • Weekly Sale
    • Monthly Sale
    • Store
    • Home
    • Redeem a Token
    • Search
    • Support
    • Leanpub FAQ
    • Leanpub Author FAQ
    • Search our Help Center
    • How to Contact Us
    • FRONTMATTER PODCAST
    • Featured Episode
    • Episode List
    • MEMBERSHIPS
    • Reader Memberships
    • Department Reader Memberships
    • Author Memberships
    • Your Membership
    • COMPANY
    • About
    • About Leanpub
    • Blog
    • Contact
    • Press
    • Essays
    • AI Services
    • Imagine a world...
    • Manifesto
    • More
    • Partner Program
    • Causes
    • Accessibility
    • AUTHORS
    • Write and Publish on Leanpub
    • Create a Book
    • Create a Bundle
    • Create a Course
    • Create a Track
    • Testimonials
    • Why Leanpub
    • Services
    • TranslateAI
    • TranslateWord
    • TranslateEPUB
    • PublishWord
    • Publish on Amazon
    • CourseAI
    • GlobalAuthor
    • Marketing Packages
    • IndexAI
    • Author Newsletter
    • The Leanpub Author Update
    • Author Support
    • Author Help Center
    • Leanpub Authors Forum
    • The Leanpub Manual
    • Supported Languages
    • The LFM Manual
    • Markua Manual
    • API Docs
    • Organizations
    • Learn More
    • Sign Up
    • LEGAL
    • Terms of Service
    • Copyright Policy
    • Privacy Policy
    • Refund Policy

*   *   *

Leanpub is copyright © 2010-2025 Ruboss Technology Corp.
All rights reserved.

This site is protected by reCAPTCHA
and the Google  Privacy Policy and  Terms of Service apply.

Leanpub requires cookies in order to provide you the best experience. Dismiss