The popular mathematical science of geometry presents a huge number of theories that are used to solve problems in a more simplified way. Our article…
How is math used in video games?
Modern video games are created using a variety of programming languages as well as developers’ proprietary engines. These technologies are based on mathematics. The basic…
Algorithm theory and computer design
Mathematical logic played an important role in the emergence of computers, although it was not the sole driving force in this complex process.
Algorithmically unsolvable problems in mathematics
Following Entscheidungsproblem, many other mathematical problems, posed as questions about the construction of this or that algorithm
The Mathematization of Logic and the Axiomatization of Mathematics
The driving cause of the process of mathematization of logic was the crisis of foundations in mathematics itself at the turn of the nineteenth and twentieth centuries.
From Aristotle to Boole
Logic as a science is a subject almost as old as mathematics. In ancient times and the Middle Ages, it was part of the trivium (grammar, rhetoric, logic/dialectic), the basic level of education