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?.

Some Old, Old (Enduring?) Archival Content

Superminds: People Harness Hypercomputation, and More
"Chess is Too Easy"
Preprint version of Preface of Brutus Book