Selmer Bringsjord

Vitae (4.7.24) (with hotlinks to publications and presentations)

Bio (4.7.24)

Access Bringsjord's Rensselaer AI & Reasoning (RAIR) Lab for info re. specific research projects, online lectures, and qualifications he seeks in grad students.

Intermediate Formal Logic & AI — [IFLAI2 (“eye” • “fly” • “two”), Fall 23] (course)

Learning intermediate logic with patented AI technology.

Introduction to (Formal) Logic (and AI) — [IFLAI1 (“eye” • “fly” • “one”), Spring 24] (course)

Learning introductory logic with patented AI technology.

Are Humans Rational? (course)

“The Modal Argument for Hypercomputing Minds,” in Theoretical Computer Science, a key warmup (for the technically inclined) in advance of the forthcoming Will AI Match (or Even Exceed?) Human Inteligence?.