visualizing and animating jl a revolutionary proposal for the presentation of logic, mathematics and...

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