|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.--184.108.40.206 (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.
- I think it is possible to distinguish between traditional sources, such as published books and papers, compared to online-only resources such as the Stanford Encyclopedia.
- Much of the "further reading" is actually referenced in the article, and should be listed under a different section title. There are Harvard references to Parkinson, Loemker, Brady, Lenzen, and Zalta in the article text. So those are not just "extra" further reading; they are cited in the article. — Carl (CBM · talk) 11:25, 16 September 2016 (UTC)
- I tried cleaning up the sections. Everything that are referenced in the article are under references, everything else are under further reading (including the sources that were under external links before). (The difference between references and further reading is fairly arbitrary as most things are simply referensed by saying that more information is in this or this source...)
- I do think of SEP as a different kind of source than a book. Even though SEP articles are written by well respected authors, I think of these articles as a different type of work, somehow. But the more concrete reason to separate them is that readers may realize that "external links" will take them directly to other online resources. It is true they could discover this from things listed in the references, but putting things into external links makes the online nature more clear at first glance. — Carl (CBM · talk) 17:05, 16 September 2016 (UTC)