Talk:Algebraic logic

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Mid-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Mid Priority
 Field: Foundations, logic, and set theory

Combinatory logic?[edit]

I really don't see how combinatory logic has the expressive power of set theory. I rather feel like it has the expressive power of finite arithmetic. I haven't thought much about how the article's claim can be interpreted, but perhaps the author meant some other kind of combinatory logic, not the s/b/c/k/i system of combinators in lambda calculus.-- (talk) 06:00, 22 October 2009 (UTC)

Nikolas Papanikolaou wiki[edit]

Nikolas Papanikolaou(Nikolas Jinn) born on 1997...Nikolas is from cyprus.He is best known for his playing in tv advertisments and many roles in theatres.Also he is a dancer doing five years hip-hop and locking... — Preceding unsigned comment added by Nicolas jinn (talkcontribs) 21:16, 25 July 2011 (UTC)

Removed info[edit]

I removed this from the history section, but did not want it to be gone completely. I thought it could be added to a sources section, but wasn't sure where.

For the history of algebraic logic before World War II, see Brady (2000) and Grattan-Guinness (2000) and their ample references. For postwar history, see Maddux (1991) and Quine (1976).

Algebraic logic has at least two meanings:

  1. The study of Boolean algebra begun by George Boole, and of relation algebra begun by Augustus DeMorgan, extended by Charles Sanders Peirce, and taking definitive form in the work of Ernst Schröder;
  2. Abstract algebraic logic, a branch of contemporary mathematical logic.

Cerberusrex (talk) 20:38, 14 February 2012 (UTC)