# Submit a new site

You can claim your site if you log in.

X

You can claim your site if you log in.

Sidebar

Filters

+

There's a discussion going on at the Foundations of Mathematics mailing list about the purpose and value, actual and potential, for formalized proofs in mathematics. Harvey Friedman asked Jeremy Avigad to comment; he sent this super-useful list of references, republished here with his approval.
John Harrison and I recently wrote a survey on formalized mathematics, for computer scientists:
Jeremy Avigad, John Harrison, 2014, "Formally verified mathematics." Communications of the ACM 57:
[…]

+

I was observing a new teacher today, and one of the lesson resources was Symmetry Artist from Mathisfun.com. I was so excited by this resource that I could hardly focus on the lesson. If you've never seen this resource before, it looks like the screenshot below: My five year old created the drawing above. When she was finished I told her to pick a different number of "petals", and she chose 9 (shown below).What an amazing resource!

+

This is a talk I gave awhile ago looking at why students hate word problems, posing five ways to improve them, and introducing this thing called “three-act math.”

+

“Martin has turned thousands of children into mathematicians, and thousands of mathematicians into children.”~Ron Graham on Martin GardnerThe 294th day of the year; 294 is a practical number because all numbers strictly less than 294 can be formed with sums of distinct divisors of 294.EVENTS1621 Kepler's Mother, Katherine, during her trial for witchcraft was shown the "instruments of torture." "The whole case was now passed on the law faculty of the University of Tübingen, Kepler’s Alma […]

+

This new arXival by Chris Oates, Mark Girolami, and Nicolas Chopin (warning: all colleagues & friends of mine!) is a variation on control variates, but with a surprising twist namely that the inclusion of a control variate functional may produce a sub-root-n (i.e., faster than √n) convergence rate in the resulting estimator. Surprising as I […]

freakonometrics tweeted: @freakonometrics

"A ‘normal’ working week of 21 hours" http://t.co/YMTHyIIqZ5 via http://t.co/dG5TiIww6z

2014-10-21 08:16:01

freakonometrics tweeted: @freakonometrics

RT @le_gorafi: George Lucas accusé d'avoir grandement exagéré le rôle des Ewoks dans la bataille d'Endor http://t.co/tc4ORRjKIj

2014-10-21 08:14:32

freakonometrics tweeted: @freakonometrics

l'accident de cette nuit; reconstitué http://t.co/I4m7kRSjcJ (génial quand on doit prendre l'avion dans quelques jours!)

2014-10-21 08:13:04

pkra tweeted: @pkrautz

RT @mediawiki: This week in @Wikimedia Tech News: Experimental MathML, file metadata cleanup drive, POODLE vulnerability, and more: https:/…

2014-10-21 07:43:18

pkra tweeted: @pkrautz

.@krautreporter immer noch: .de redirected zu /das-magazin => kein link auf http://t.co/jjOy12rOjo & der login im menu fuehrt zu...

2014-10-21 07:42:10

freakonometrics tweeted: @freakonometrics

Media Trust http://t.co/VPcOhgD5bu http://t.co/pTIOwQa8mb

2014-10-21 06:39:18

rmathematicus tweeted: @rmathematicus

Your weekly #HistSTM links list Whewell's Gazette: Vol. #18 http://t.co/WCdPaTRmfe The Ada Lovelace Day Edition

2014-10-21 06:36:25

rmathematicus tweeted: @rmathematicus

RT @ARWallace Lecture by Andrew Berry on 8th November at the Harvard Museum of Natural History, USA. http://t.co/laYK7EXdw3

2014-10-21 06:32:40

X