Defined as a branch of knowledge which concerns itself with formal systems, this category of formal sciences includes listings about mathematics, systems theory, logic, theoretical computer science, information theory, and linguistics.

### Categories

## Mathematics## Systems Science |

### Regular Blogs

The Bodmas Blog is authored by Keith Burnett that explores the scientific methods, mathematics, quizzes, learning and other subjects. The website also has stimulating posts on technology like radios and Internet supported learning. This fascinating blog has interesting posts dating back to October 2004.

http://bodmas.org/

This blog is dedicated to math software, document management and mathematical theory. The blog posts varies between technical mathematical discussions and novels. Math students and mathematicians will likely find this blog to be of interest.

http://www.tangentspace.net/cz/

A joint effort between Lance Fortnow and Bill Gasarch to discuss math, computer science and computational complexity. Also describes what it is like to work in this field of advanced math.

http://www.weblog.fortnow.com/

Canadian mathematics PhD provides recreational math as well as programming, cellular automata, and matrix analysis.

http://www.nathanieljohnston.com/

A commentary weblog by Peter Woit, a mathematical physicist at Columbia University and a critic of the string theory. This weblog focuses on the discussion of string theory, mathematics, physics and other related topics. The weblog also features Woit's views on others review of his book of the same title as this blog.

http://www.math.columbia.edu/~woit/wordpress/