Senior Lecturer Candidate: James Barnes
357 Dreese Labs
2015 Neil Ave, Columbus, Ohio 43210
Quines and Fixed-Points
Pick your favorite programming language. Is there a program in that language that returns its own source code? What about a python program that prints a C program that prints the original python program? Perhaps such a program is a quirk of the choice of language. We explore these questions and their connections to fixed-point phenomena.
Bio: James Barnes is a PhD candidate in mathematics at Cornell University. He holds an MS in Computer Science from Cornell University and a BS in Mathematics and Philosophy from Warwick University. His work examines structural properties of notions of reducibility between decision problems as well as the strength of theorems in graph theory. James has a passion for teaching and is committed to developing pedagogical strategies to make his classrooms more inclusive spaces for marginalized communities in STEM fields.
Host: Rafe Wenger