Tags » Math

Using Computer to Verify Math Theorems

Source: Quanta, May 2015

For nearly a decade, Voevodsky has been advocating the virtues of computer proof assistants and developing univalent foundations in order to bring the languages of mathematics and computer programming closer together. 924 more words


The Learner Within: Week of August 30, 2015

 How will you grow, learn, and inquire this week?

Inquirers – Knowledgeable – Thinkers – Communicators – Principled – Open-Minded – Caring – Risk Takers – Balanced – Reflective… 1,197 more words
Professional Learning

The Coin Game, II

Good answers to the last question! I think I perhaps put my thumb on the scale too much by naming a variable p.

Let me try another version in the form of a dialogue. 362 more words


The 40 something Dork

So, if I haven’t already stated this fact about myself, I shall do it now:  I am a dork.  Seriously, I come from the land of Dorkdom, where dorks like me thrive in their royal dorkiness.  344 more words

Hello world!

Hello, I am starting a new blog. i suppose you might call this a lifestyle blog considering it will be a collection of hodgepodge posts about my classroom, my journey to become healthier, and what I’m learning spiritually. 29 more words

21 Day Fix

Mathematics and Sex

Dr Clio Cresswell provides a Tedx Talk on how complex mathematics can be used to describe all facets of our lives and isn’t just relegated to the hard sciences like math or physics. 200 more words