Logic:

--mathematical

Enderton, "A mathematical introduction to logic" then Shoenfield's classic "Mathematical logic"

Cori and Lascar, "Mathematical logic: a course with exercise" for exercises for self-study

Manin, "A course in mathematical logic" for additional enrichment

--computational

Van Dalen's "Logic and Structure" and then Fitting, "First Order Logic and Automated theorem proving" to fill in the gaps

--philosophical

From Frege to Goedel: a sourcebook in mathematical logic

additional works by Frege and Cantor in dover reprints or in the original.

"Goedel's Proof" by Nagel

"Goedel, Escher and Bach" by Hofstadter

--modal and fuzzy

Goldblatt, "Logics of Time and Computation" (Introduction to modal logic through temporal logic)

Bergmann, "An introduction to many valued and fuzzy logic"

Calculus:

Apostol, "Calculus" 2 volumes (Still a classic)

Demidovich, "Problems in mathematical analysis" (Classic drill book)

Topology:

Viro, "Elementary Topology Problem Textbook" (Based on a classic course)

Modern Abstract Algebra:

Jacobson, "Basic Algebra" volumes 1 and 2

History of Western Philosophy:

Basic primary sources in western philosophy (Not a textbook!)

I learned how to crank out patents. My thinking, over the years, shifted from "Wow, I can really be an inventor," to "Wow, I can Munchkin a ridiculously misconfigured system" and beyond that to "This is really awful."

My blog post: "The evil engineer's guide to patents".

Since Munchkining means following the letter of the rules, while bypassing the unspoken rules, we should consider how often it is accompanied by moral dissonance.

Hello from Paris, France.

As many of you, I first discovered all of this by HPMOR (actually, its French translation). I then read entirely Rationality, from AI to Zombie (because, honestly, reading things in order is SO MUCH easier than having 20 tabs open with 20 links I followed on the previous pages). I thought I would finish to read this blog, or at least the sequences, before posting, and then realized it may implies I would never post.

I'm a doctor in Fundamental Computer Science, an amateur writer (in French only), and an LGBT activist who goes into school in order to speak of LGBTphobia and sexism with 119 classes (and counting).

I can't tell right now exactly why I so much like the idea of rationality. I guess that it is unrelated to the fact that I wrote the article https://en.wikipedia.org/wiki/Rational_set recently . Its probably more related to the fact that I love the idea of being a robot, at least, being like I thought a robot was when I didn't know that robot are programmed by humans. I can rationalize it ... by hoping that, rationals methods would help me be more efficient in order to fight LGBTphobia (and probably more efficient to do research and publish, or to write more...) Even if, to tell the truth, I'm not yet convinced that studying rationality is a rational action in order to attains those goals. On the other hand, even if rationality may not be the BEST tool ever in order to attains those goal, I'm more confident in the advise I find here than in the advice of a random self-help book I could find in a shelve of my super market, because I assume some people indeed did research before giving those advise.

The first image of this post is broken