Category Archives: Computer Science

Problems In Philosophy • 4

Re: R.J. Lipton and K.W. Regan • Did Euclid Really Mean ‘Random’? These are the forms of time, which imitates eternity and revolves according to a law of number. Plato • Timaeus • 38 A Benjamin Jowett (trans.) It is … Continue reading

Posted in Aristotle, Computation, Computer Science, Euclid, Genericity, Geometry, Iconicity, Likelihood, Likely Story, Likeness, Mathematics, Number Theory, Philosophy, Philosophy of Mathematics, Plato, Probability, Socrates | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Problems In Philosophy • 3

Re: R.D. Mounce Making reality our friend is necessary to survival and finding good descriptions of reality is the better part of doing that, so I don’t imagine we have any less interest in truth than the Ancients.  From what … Continue reading

Posted in Aesthetics, Computation, Computer Science, Ethics, Heap Problem, Logic, Mathematics, Model Theory, Normative Science, Paradox, Peirce, Philosophy, Pragmatism, Problem Solving, Proof Theory, Sorites | Tagged , , , , , , , , , , , , , , , | Leave a comment

Problems In Philosophy • 1

Re: R.J. Lipton and K.W. Regan • You Think We Have Problems I used to think about the heap problem a lot when I was programming and I decided the heap quits being a heap as soon as you remove … Continue reading

Posted in Computation, Computer Science, Heap Problem, Paradox, Philosophy, Sorites | Tagged , , , , , | 1 Comment

Propositions As Types : 1

Re: R.J. Lipton • Mathematical Tricks One of my favorite mathematical tricks — it seems almost too tricky to be true — is the Propositions As Types Analogy.  And I see hints the 2-part analogy can be extended to a 3-part … Continue reading

Posted in Abstraction, C.S. Peirce, Combinator Calculus, Combinatory Logic, Computation, Computational Complexity, Computer Science, Curry–Howard Isomorphism, Formal Language Theory, Graph Theory, Lambda Calculus, Logic, Logical Graphs, Mathematics, Peirce, Programming Languages, Propositions As Types Analogy, Type Theory | Tagged , , , , , , , , , , , , , , , , , | Leave a comment