Presentation is loading. Please wait.

Presentation is loading. Please wait.

VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts.

Similar presentations


Presentation on theme: "VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts."— Presentation transcript:

1 VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts

2 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)???

3 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!

4 The JL Calculus; Revised L:J:J/L: RULE:==>

5 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?

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

7 Type 013: The sweetest boy in town

8 Type 021: The elder brother

9 Type 031: Most likely to succeed

10 Type 039: Mr. Wise Guy

11 Type 050: Deeply in love

12 Type 051: Going public

13 Type 098: Plan Q65 ?

14 Type 112: Testing the stage

15 Type 113: Once in a lifetime...

16 Type 114: Those were the days

17 Type 115: You deserve it

18 Type 116: Family man

19 Type 144: Amongst friends

20 Type 178: Pater Familias

21 Type 219: Favorite speaker Categorial Grammars: home: 1987 REX Workshop: 1988JELIA: 1990LC99: ESSLLI 99:

22 Type 225: Governor

23 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

24 Type 279: President NV Logica NVL: 1982NVL: 1983

25 Type 289: Receiving the Liber ESSLLI 99:

26 The Grand Finale But That’s a Different Project …..


Download ppt "VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts."

Similar presentations


Ads by Google