My philosophical interests

My friend Dan recently asked me what philosophical questions interested me. Here is my answer.

What is knowledge, what is information? Can knowledge be captured and represented formally? Why is English (or other languages) not evolving
toward greater formalism, but rather evolving toward greater flexibility, fluidity?

Are we living inside a Turing machine?

How do you know that a duck is a duck? Do you have mentally a formal definition that you apply? Do you check successively for some characteristics, applying some kind of algorithm? If you do apply an algorithm, does it terminate? That is, do you ever know for sure it is a duck?

Published by

Daniel Lemire

A computer science professor at the University of Quebec (TELUQ).

Leave a Reply

Your email address will not be published. Required fields are marked *

To create code blocks or other preformatted text, indent by four spaces:

    This will be displayed in a monospaced font. The first four 
    spaces will be stripped off, but all other whitespace
    will be preserved.
    Markdown is turned off in code blocks:
     [This is not a link](

To create not a block, but an inline code span, use backticks:

Here is some inline `code`.

For more help see