Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language

摘要: Logic has long set itself the task of helping humans think clearly. Certain computer programming languages, most prominently Logo language, have been billed ashelping young people become clearer thinkers. It is somewhat doubtful that such languages can succeed in this regard, but at any rate it seems sensible to explore an approach guarantees intimate link between thinking required program and kind clear logic historically sought cultivate. Accordingly, Bringsjord invented a new Reason, one firmly based declarative paradigm, specifically aligned with core skills constituting thinking. Reason thus offers question all who would genuinely use it.