![Page 1: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/1.jpg)
VISUALIZING and ANIMATING JL
A Revolutionary Proposal for the Presentation of Logic,
Mathematics and Computer Science
Peter van Emde Boas & Frans Zwarts
![Page 2: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/2.jpg)
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)???
![Page 3: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/3.jpg)
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!
![Page 4: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/4.jpg)
The JL Calculus; Revised
L:J: J/L:
RULE: ==>
![Page 5: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/5.jpg)
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?
![Page 6: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/6.jpg)
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 ….
![Page 7: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/7.jpg)
Type 013: The sweetest boy in town
![Page 8: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/8.jpg)
Type 021: The elder brother
![Page 9: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/9.jpg)
Type 031: Most likely to succeed
![Page 10: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/10.jpg)
Type 039: Mr. Wise Guy
![Page 11: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/11.jpg)
Type 050: Deeply in love
![Page 12: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/12.jpg)
Type 051: Going public
![Page 13: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/13.jpg)
Type 098: Plan Q65 ?
![Page 14: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/14.jpg)
Type 112: Testing the stage
![Page 15: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/15.jpg)
Type 113: Once in a lifetime...
![Page 16: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/16.jpg)
Type 114: Those were the days
![Page 17: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/17.jpg)
Type 115: You deserve it
![Page 18: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/18.jpg)
Type 116: Family man
![Page 19: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/19.jpg)
Type 144: Amongst friends
![Page 20: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/20.jpg)
Type 178: Pater Familias
![Page 21: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/21.jpg)
Type 219: Favorite speaker
Categorial Grammars: 1987 Logic @ home: 1987
REX Workshop: 1988 JELIA: 1990 LC99: 19990803
ESSLLI 99: 19990812
![Page 22: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/22.jpg)
Type 225: Governor
19870211 19870909
19880914 19910911
![Page 23: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/23.jpg)
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
![Page 24: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/24.jpg)
Type 279: President NV Logica
NVL: 1982 NVL: 1983
![Page 25: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/25.jpg)
Type 289: Receiving the Liber
ESSLLI 99: 19990812
![Page 26: VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts](https://reader035.vdocuments.site/reader035/viewer/2022062620/551a738e55034643688b51a3/html5/thumbnails/26.jpg)
The Grand Finale
But That’s a Different Project …..