Explore >> Select a destination

You are here

 mycqstate.wordpress.com
What it is that we do | MyCQstate
| | juliawolffenotes.home.blog
Michael Aschbacher and the sociology of mathematical proof w.r.t. the classification theorem for finite simple groups - Julia Wolffe's Notes
12.3 parsecs away

Travel
| | Over dinner just now I had the pleasure of reading MIT PhD student Alma Steingart's wonderful essay A group theory of group theory: collaborative mathematics and the 'uninvention' of a 1000-page proof, which is about the classification theorem for finite groups of simple order. Steingart is one of those writers who highlights the very human...
| | mathscholar.org
Is modern science socially constructed and forever tentative? « Math Scholar
9.1 parsecs away

Travel
| |
| | existentialtype.wordpress.com
The Holy Trinity | Existential Type
12.4 parsecs away

Travel
| | The Christian doctrine of trinitarianism states that there is one God that is manifest in three persons, the Father, the Son, and the Holy Spirit, who together form the Holy Trinity. The doctrine of computational trinitarianism holds that computation manifests itself in three forms: proofs of propositions, programs of a type, and mappings between...
| | coderwall.com
Alex's profile | exonintrendo
112.2 parsecs away

Travel
| [StackOverflow](http://stackoverflow.com/users/3272411)