Ken Iverson: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
No edit summary
Line 2: Line 2:
'''Kenneth Eugene Iverson''' (17 December 1920 – 19 October 2004) was a Canadian mathematician and computer scientist, noted for the development of APL. He was honored with the Turing Award in 1979 "for his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as APL; for his contributions to the implementation of interactive systems, to educational uses of APL, and to programming language theory and practice".
'''Kenneth Eugene Iverson''' (17 December 1920 – 19 October 2004) was a Canadian mathematician and computer scientist, noted for the development of APL. He was honored with the Turing Award in 1979 "for his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as APL; for his contributions to the implementation of interactive systems, to educational uses of APL, and to programming language theory and practice".


While teaching mathematics, Iverson developed [[Iverson notation|an alternative mathematical notation]] and later described, in his book [[A Programming Language]], how this could be used for instructing computers. It was based on this book that [[Larry Breed]] and [[Philip Abrams]] implemented the first interpreter, and it eventually was named ''A.P.L.'' acronymising the book title.
== History ==
:''Main article: [[Wikipedia:Kenneth E. Iverson|Kenneth E. Iverson]]
 
While teaching mathematics, Iverson developed [[Iverson notation|an alternative mathematical notation]] and later described, in his book [[A Programming Language]], how this could be used for instructing computers. It was based on this book that [[Larry Breed]] and [[Philip Abrams]] implemented the first interpreter, and it eventually was [[The name APL|named ''A.P.L.'']] acronymising the book title.
 
On 17 December 2020, [[BAA]] organised an [[BAA#Iverson_Centenary|Iverson Centernary]] event, celebrating the 100th anniversary of Iverson's birth.


== Contributions to traditional mathematics ==
== Contributions to traditional mathematics ==
Line 43: Line 48:
== External links ==
== External links ==


* [[Wikipedia: Kenneth E. Iverson]]
* [[Wikiquote: Kenneth E. Iverson]]
* [[Wikiquote: Kenneth E. Iverson]]
*


{{APL community}}{{DEFAULTSORT:Iverson, Ken}}[[Category:People]][[Category:Jsoftware employees]][[Category:I.P. Sharp Associates employees]][[Category:Designers]]
{{APL community}}{{DEFAULTSORT:Iverson, Ken}}[[Category:People]][[Category:Jsoftware employees]][[Category:I.P. Sharp Associates employees]][[Category:Designers]]

Revision as of 07:12, 22 June 2022

Ken Iverson in 1989

Kenneth Eugene Iverson (17 December 1920 – 19 October 2004) was a Canadian mathematician and computer scientist, noted for the development of APL. He was honored with the Turing Award in 1979 "for his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as APL; for his contributions to the implementation of interactive systems, to educational uses of APL, and to programming language theory and practice".

History

Main article: Kenneth E. Iverson

While teaching mathematics, Iverson developed an alternative mathematical notation and later described, in his book A Programming Language, how this could be used for instructing computers. It was based on this book that Larry Breed and Philip Abrams implemented the first interpreter, and it eventually was named A.P.L. acronymising the book title.

On 17 December 2020, BAA organised an Iverson Centernary event, celebrating the 100th anniversary of Iverson's birth.

Contributions to traditional mathematics

Floor and Ceiling

Carl Friedrich Gauss introduced the square bracket notation in his third proof of quadratic reciprocity (1808). This remained the standard in mathematics until Iverson introduced the names "floor" and "ceiling" and the corresponding notations and in his 1962 book A Programming Language. The names and notations have gained widespread use in mathematics.

Iverson bracket

In mathematics, the Iverson bracket generalises the Kronecker delta. It converts any logical proposition into a number that is 1 if the proposition is satisfied, and 0 otherwise, and is generally written by putting the proposition inside square brackets:

where is a statement that can be true or false.

In the context of summation, the notation can be used to write any sum as an infinite sum without limits: If is any property of the integer ,

Note that by this convention, a summand must evaluate to 0 regardless of whether is defined. Likewise for products:

While the Iverson bracket was adopted into mainstream mathematics, it's use has not been very widespread. Donald Knuth has argued strongly for its wider use.

In APL, the Iverson bracket is implied in all logical propositions, for example 43 evaluates to 1 and 'hello''world' evaluates to 0.

Publications

SHARP APL Technical Notes

External links


APL community [edit]
Conferences and activities Advent of CodeAPL CampfireAPL CultivationAPL Meetup (Portuguese) ∙ APL Problem Solving CompetitionAPL QuestAPL SeedsArray CastBAA sessionsCode golfDyalog user meetingsDyalog webinarsIverson AwardSharing code
Chat rooms and forums APL FarmAPL Orchard
User groups APL Borealis (Canada) ∙ APL et J (France) ∙ APL Germany (terminology) ∙ APL ∊ BCN (Spain) ∙ BAA (UK) ∙ FinnAPL (Finland) ∙ JAPLA (Japan) ∙ SAUG (Switzerland) ∙ SIGAPL (USA) ∙ SwedAPL (Sweden) ∙ Tokyo APL/J/K Meetup (Japan)
People Phil AbramsBrian BeckerBob BerneckyLarry BreedCharles BrennerJim BrownAdám BrudzewskyGitte ChristensenPeter DonnellyJohn EarnestAdin FalkoffGarth FosterLib GibsonAaron HsuRoger HuiKen IversonMorten KrombergMarshall LochbaumEugene McDonnellJon McGrewDonald McIntyreRoger MooreAlan PerlisHenry RichAl RoseWilliam RutiserJohn ScholesIan SharpBob SmithGeoff StreeterRoy SykesArthur Whitney
Other APL Quote QuadAPL WikiBlogsBooksFamous APL usersHumourJobsMerchandisePapersTryAPLTry It OnlineVideo channels