Explore >> Select a destination
|
You are here 
|
ianwrightsite.wordpress.com | ||
| | | | |
www.quantamagazine.org
|
|
| | | | | Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach. | |
| | | | |
blog.computationalcomplexity.org
|
|
| | | | | In my post about the myth that Logicians are crazy I mentioned in passing that Whitehead and Russell spend 300 pages proving 1+1=2 (but we... | |
| | | | |
terrytao.wordpress.com
|
|
| | | | | Almost three weeks ago, I proposed a collaborative project, combining the efforts of professional and amateur mathematicians, automatic theorem provers, AI tools, and the proof assistant language L... | |
| | | | |
blog.autarkaw.com
|
|
| | | [AI summary] The blog post explains how to use numerical methods for solving ordinary differential equations (ODEs) by framing them as definite integrals, leveraging the second fundamental theorem of calculus, and discusses a correction to a typo in an example. | ||
