VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts
Mar 31, 2015
VISUALIZING and ANIMATING JL
A Revolutionary Proposal for the Presentation of Logic,
Mathematics and Computer Science
Peter van Emde Boas & Frans Zwarts
The Problem
JL is a very simple calculus:
Generators: {J, L, J/L}Rule: J/L . L ==> J
Problem: How to motivate peopleto investigate this calculus (andsimilar calculi)???
The Key Observation
• People in industry use an informal language, invoking Anthropomorphic Notions: Agents, Actions, Intentions, Desires, Competition, Cooperation, …
• People in industry succeed!!!
• Therefore: Base your calculus on Anthropomorphic Images!
The JL Calculus; Revised
L:J: J/L:
RULE: ==>
CONSEQUENCES
• You can get what you want for free
• We have derived the desired object
• No razor needed to remove a beard
• What more evidence do you require?
Extending the Project
• Objects by themselves are not interesting
• Structure is important
• Structure is determined up-to isomorphism, bisimulation, ….
• So we need to investigate the type structure ….
Type 013: The sweetest boy in town
Type 021: The elder brother
Type 031: Most likely to succeed
Type 039: Mr. Wise Guy
Type 050: Deeply in love
Type 051: Going public
Type 098: Plan Q65 ?
Type 112: Testing the stage
Type 113: Once in a lifetime...
Type 114: Those were the days
Type 115: You deserve it
Type 116: Family man
Type 144: Amongst friends
Type 178: Pater Familias
Type 219: Favorite speaker
Categorial Grammars: 1987 Logic @ home: 1987
REX Workshop: 1988 JELIA: 1990 LC99: 19990803
ESSLLI 99: 19990812
Type 225: Governor
19870211 19870909
19880914 19910911
Type 244: AMC Bobo
AMC 03: 1980 AMC 04: 1982
AMC 11: 1997AMC 10: 1995AMC 09: 1993AMC 08: 1991
AMC 07: 1989AMC 06: 1987AMC 05: 1984
AMC 12: 1999
Type 279: President NV Logica
NVL: 1982 NVL: 1983
Type 289: Receiving the Liber
ESSLLI 99: 19990812
The Grand Finale
But That’s a Different Project …..