Skip to content

Instantly share code, notes, and snippets.

@ericTsiliacos
ericTsiliacos / understanding.hs
Last active November 14, 2017 06:30
Understanding
-- "I agree with you that it is important once and
-- for all to examine all of our assumptions in order
-- to establish something solid." - Letter to Foucher by Leibniz
-- Break down propositions into defintions (recusively) until one arrives at identities who are called such
-- because their defintions are necessary truths (or non-contradiction).
-- Question(s): Are the natures or essences of things necessary truths? Is it provable?
-- Using the "for all" qualifity, one can arrive at the essence of a thing?
const monolith = () => {
var mutable = 10;
var sum = 0;
while (mutable !== 0) {
if (mutable % 2 === 0) {
sum += mutable;
}
mutable -= 1;
}
return sum;