fairfolio
Saved Projects

New Proofing Method with Syllogism

ISEF · 2019 Mathematics

Huseynov, Zamin · Baku European Lyceum

Is this your project?

Overview

There’s no doubt that in recent years the connection between different subjects is really cruical. For this exact reason I intend to proof mathematical theories with the help of syllogisms. This project creates a new official proofing method that is both faster and more convenient than the traditional method. The other cons of this project is that it can solve complex and time consuming theorems that were a lot more harder for a human being to solve. Compared to the popular proofing methods nowadays this project is a lot more compatible. By conducting this to automatic mathematical proofing programs progress could be made in proofing as a whole.

Working on something like this? See what's been done and what's still open.

Competition history

  • ISEF 2019 Mathematics · Entry MATH004 Affiliated fair in Azerbaijan

Resources

Related projects

Closest projects by meaning, across every fair and year in the corpus.

Browse more like this

Report a problem

Source: Regeneron International Science and Engineering Fair

Save projects to your library

Sign in with Google to keep track of projects you find interesting, organized into folders. An account also raises your daily allowance for “Has this been done?”, and lets you create a key for the MCP server with a much higher limit than anonymous use. Browsing stays public.

Continue with Google