We review the correspondence between logic and languages discovered more than 50 years ago, and then present more recent advances. By putting truth and falsehood on equal footing, we discover a model of computation based on interaction between a term and its context. We illustrate how logic has provided inspiration for better understand program behavior, program compilation and more efficient implementations. But most of all, it emphasizes that it doesn’t matter if you are right or wrong, but that you can have an honest dialogue with your opponents. The truth is often found hiding amidst disagreements.
Program Display Configuration
Tue 18 Jan
Displayed time zone: Eastern Time (US & Canada)change