ISETL stands for Interactive SET Language. ISETL is an interpreted mathematical programming language closely resembling the language of sets and functions used by Mathematicians. You may define sets, binary operations, and functions, then test conjectures about them by using universal and existential quantifiers.
SETL was developed by Jack Schwartz. Years later Gary Levin developed ISETL (Interactive SETL) for Unix, DOS, and Macintosh at Clarkson University. ISETLW (ISETL for Windows) was developed by John Kirchmeyer at Mount Union College with help from research assistant Jamie Wylie and partial support from a Tomsich Science Research Grant during the summer of 1995. ISETLW Version 3 was created by John during a Sabbatical in Spring, 2001. Much is owed to Ed Dubinsky, whose idea it was to use SETL for teaching and learning Mathematics. He also influenced Gary to create ISETL and encouraged John to create ISETLW.
ISETL is available at the Mathematical Archives. ISETLW is available at the ISETLW Home Page at Mount Union College.
See also our Web References. and Copyrights, Disclaimer, and Permissions.