Abstraction logic is a new logic combining exceptional simplicity with astonishing generality. It combines the best features of first-order logic and higher-order logic, while avoiding their respective drawbacks. It manages to do so because it is based on a simple understanding of the mathematical universe, its operations and, in particular, its operators.
La conjetura de Martin plantea un test de primalidad más eficiente que el pequeño teorema de Fermat o el teorema de Wilson
The author explains the Proth's test and show the Martin's conjecture like a new test of primality.
El autor explica el test de primalidad de Proth, y la conjetura de Martin como un nuevo tipo de test.
The author explains several primality test, since the ancient greek until the xix century, and how to use computers to apply these tests.
El autor explica varios métodos para probar la primalidad de un número, desde la época griega hasta hace cien años y el uso de computadoras.
El autor explica esta conjetura, y muestra varios cálculos de su veracidad, y un programa que aborda los casos más difíciles, listando una gran cantidad en que se cumple, sin fallas.
El autor explica en que consiste esta conjetura, su relación con el último teorema de Fermat, y por que deben cumplirse sus restricciones.
The author explains a new method to probe that only there are five Fermat's primes
El autor revalúa la conjetura de los primos de Fermat y explica una nueva forma de evaluar cuales realmente son primos, y vuelve a concluir que solo existen cinco de ellos. Este método promete ser aplicable a otros casos.
Trigonometry is one of those topics that keep appearing again and again, even in very simple gamedev projects. It’s important that most programmers feel somewhat comfortable working with angles and triangles.
The author explains about the Mersenne numbers, and why there is an infinity set of primes numbers inside.
El autor analiza los primos de Mersenne. Existe la teoría de que hay infinitos números en este conjunto. El autor presenta argumentos a favor de tal teoría.