Angel "Java" Lopez en Blog

3 de Enero, 2021


Publicado el 3 de Enero, 2021, 15:04

Anterior Post

Transit Across the Purple Sun
https://twitter.com/pickover/status/1296101195447140353

Computer Search Settles 90-Year-Old Math Problem
https://www.quantamagazine.org/computer-search-settles-90-year-old-math-problem-20200819/

Pi in Pascal's Triangle
https://www.cut-the-knot.org/arithmetic/algebra/PiInPascal.shtml

This formula was first discovered by Laplace and later proved by Jacobi.
https://twitter.com/johncarlosbaez/status/1299442096621760512

The Anatomy of Integers and Permutations
https://twitter.com/Marco_Piani/status/1296088988642615296
https://dms.umontreal.ca/~andrew/MSI/AnatomyForTheBook.pdf

How Close Are Computers to Automating Mathematical Reasoning?
https://www.quantamagazine.org/how-close-are-computers-to-automating-mathematical-reasoning-20200827/

Julio Rey Pastor
https://twitter.com/borcherix/status/1294347487319400454

La hipótesis del continuo: del susto de Cantor a la prueba de Cohen
https://www.gaussianos.com/la-hipotesis-del-continuo-del-susto-de-cantor-a-la-prueba-de-cohen/

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
https://twitter.com/ajlopez