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 people to investigate this calculus (and similar 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: home: 1987 REX Workshop: 1988JELIA: 1990LC99: ESSLLI 99:
Type 225: Governor
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: 1982NVL: 1983
Type 289: Receiving the Liber ESSLLI 99:
The Grand Finale But That’s a Different Project …..