|
Anterior Post
Siguiente 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
| 
