Explore >> Select a destination
|
You are here 
|
matheuscmss.wordpress.com | ||
| | | | |
terrytao.wordpress.com
|
|
| | | | | Many modern mathematical proofs are a combination of conceptual arguments and technical calculations. There is something of a tradeoff between the two: one can add more conceptual arguments to try ... | |
| | | | |
mycqstate.wordpress.com
|
|
| | | | | [7/9/17 Update: Following a suggestion by Oded Regev I upgraded Section 1 from "probabilistic functions" to "matrix-valued functions". This hopefully makes it a more useful, and interesting, mid-point between the classical analysis of BLR and the non-abelian extension discussed afterwards. I also fixed a bunch of typos -- I apologize for the many remaining ones.... | |
| | | | |
mattbaker.blog
|
|
| | | | | In honor of Pi Day 2023, I'd like to discuss Hilbert's 7th Problem, which in an oversimplified (and rather vague) form asks: under what circumstances can a transcendental function take algebraic values at algebraic points? The connection with $latex \pi$ is that Lindemann proved in 1882 that the transcendental function $latex f(z) = e^z$ takes... | |
| | | | |
siddhartha-gadgil.github.io
|
|
| | | [AI summary] The text discusses a formalization in Lean 4 of a mathematical result related to the group P and the unit conjecture. It outlines the construction of the group P as a metabelian group with a specific action and cocycle, the proof of its torsion freeness, and the use of decidable equality and enumeration to verify properties. The formalization also includes the construction of the group ring and the verification of Gardam's disproof of the unit conjecture by demonstrating the existence of a non-trivial unit in the group ring over the field F₂. | ||
