This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- "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? |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
const monolith = () => { | |
var mutable = 10; | |
var sum = 0; | |
while (mutable !== 0) { | |
if (mutable % 2 === 0) { | |
sum += mutable; | |
} | |
mutable -= 1; | |
} | |
return sum; |