blogged find better blogs
HomeTechnologyEntertainmentSportsPoliticsBusinessHumorWorld NewsLifestyleDirectoryMore Topics
Blog Detail
Ars Mathematica

Dedicated to the mathematical arts.
Ars Mathematica Blog  
Listed in: Education > Math
Related Topics: blog, groups, mathematica, order, whats
Author: Walt
Visit this blog on Facebook for more info.
Tags: mathematics
Related Blogs
previous blog next blog

8 Users are Following

9.0
excellent
based on editor's review


recent postsrss feed

What is a Horn Clause?

Feb 6, 2010
Now to the actual definition of Horn clause. First, some standard logical terminology. A term is simply an expression built out of variables and function symbols. For example, x y-1 z is a term in the language of groups. An atomic formula is a...

Signatures

Jan 28, 2010
My normal tendency is to write long posts that I never finish. I’ll start off this series with small posts to see if I can break the habit. The idea of Horn clauses emerged from model theory, so I will begin there. Model theory considers ideas that...

The ubiquitous Horn clause

Jan 26, 2010
I was musing about the foundations of mathematics the other day, when it occurred to me that you could make a pretty good case that the key foundational idea of mathematics is that of Horn clauses (also known as universal Horn sentences). Horn...

May on Algebraic Topology

Jan 12, 2010
J. P. May’s book, A Concise Course in Algebraic Topology, is available for download on his homepage. The book provides an overview of classical algebraic topology: homology and homotopy groups, K-theory, and cobordism.

NFL, DNF-style

Jan 2, 2010
I don’t normally link to sites that require registration, such as the New York Times, but <a href="http://fifthdown.blogs.nytimes.com/2010/01/01/week-17-matchups/"this preview of the final week of the NFL regular season features both a reference to...


Comments & Reviews:
Be the First to Review this Blog!