|WikiProject Mathematics||(Rated Start-class, Mid-priority)|
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.--22.214.171.124 (talk) 06:00, 22 October 2009 (UTC)
Nikolas Papanikolaou wiki
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 (talk • contribs) 21:16, 25 July 2011 (UTC)
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:
- 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;
- Abstract algebraic logic, a branch of contemporary mathematical logic.