Search results

...a sequence of innovative computer languages, [[Euler programming language|EULER]], [[Algol-W|ALGOL-W]], [[Modula|MODULA]] and [[PASCAL]]''

One of the first results in graph theory appeared in [[Leonhard Euler]]'s paper on ''[[Seven Bridges of Königsberg]]'', published in [[1736]]. I

...on reality or approaches to it built out of math. If such constructs as [[Euler's identity]] are true then they are true as a map of the human mind and [[c ...finitude of primes. The first was Euclid's, the second was based on the [[Euler]] [[zeta function]], and the third was Chaitin's own, derived from [[algori

...on reality or approaches to it built out of math. If such constructs as [[Euler's identity]] are true then they are true as a map of the human mind and [[c ...finitude of primes. The first was Euclid's, the second was based on the [[Euler]] [[zeta function]], and the third was Chaitin's own, derived from [[algori

Let's draw the sub-universe (subverse?) of Red things in euler-venn style, the heavier shading (^) for being's rule, the lighter ( ) for i

...a finitary universe of discourse, of the order that we see illustrated in euler-venn diagrams, are ordered by the relation of implication, making "⇒"

in the transition from Euler's circles, that retain a residue of the in the transition from Euler's circles, that retain a residue of the

that one finds pictured in euler-venn diagrams and that one computes in terms