Tag Archives: Computer Science
Mathematical Physics, Determinism, Game of Life (Hiking in Modern Math 6/7)
Chaos Theory, Meteorology, Navier-Stokes, Wolfram (Hiking in Modern Math 5/7)
Complexity Theory, P versus NP, RSA Cryptography (Hiking in Modern Math 2/7)
Theory of Computation, Turing Machine (Hiking in Modern Math 1/7)
Shannon’s Information Theory (Trek through Math 5/8)
Univalent Foundations of Mathematics
![](http://www.science4all.org/wp-content/uploads/2014/04/Homotopy-Group-of-Circle.png)
Homotopy Type Theory and Higher Inductive Types
![](http://www.science4all.org/wp-content/uploads/2014/04/Homotopies-in-Z2.png)
Type Theory: A Modern Computable Paradigm for Math
![](http://www.science4all.org/wp-content/uploads/2014/03/Excluded-Middle1.png)
The Tortuous Geometry of the Flat Torus
![](http://www.science4all.org/wp-content/uploads/2014/03/vue61.jpg)
The New Big Fish Called Mean-Field Game Theory
![](http://www.science4all.org/wp-content/uploads/2014/02/Divers-with-Schooling-Fish.jpg)
Numbers and Constructibility
![](http://www.science4all.org/wp-content/uploads/2013/11/Morellet-Black-and-White.png)
Shannon’s Information Theory
![](http://www.science4all.org/wp-content/uploads/2013/03/Example-of-Conditional-Entropy2.png)
Cryptography and Quantum Physics
![](http://www.science4all.org/wp-content/uploads/2012/12/teleport_med-1.jpg)
Bayesian Games: Math Models for Poker
![](http://www.science4all.org/wp-content/uploads/2012/11/Bayesian-Nash-Equilibrium.png)
Probabilistic Algorithms, Probably Better
![](http://www.science4all.org/wp-content/uploads/2012/08/primality-test1.png)
Web Programming: From HTML to AJAX
![](http://www.science4all.org/wp-content/uploads/2012/07/url-html-css-php-sql-js-1.png)
P versus NP: A Crucial Open Problem
![](http://www.science4all.org/wp-content/uploads/2012/06/pvsnp.jpg)
From Divide and Conquer to Parallelization
![](http://www.science4all.org/wp-content/uploads/2012/06/quicksort-1.png)