Skip to main content
J.P.'s user avatar
J.P.'s user avatar
J.P.'s user avatar
J.P.
  • Member for 10 years, 4 months
  • Last seen more than a month ago
  • London, United Kingdom
14 votes
Accepted

Are programmers evidence Artificial Intelligence is impossible?

11 votes
Accepted

How many legs does a dog have?

7 votes
Accepted

Some questions about implications of Gödel's Completeness Theorem

6 votes
Accepted

Unsure of adequacy of a transcription from English to FOL

5 votes

Are areas of philosophy besides logic subjective?

5 votes
Accepted

How should we understand the oracle's dilemma in making a prediction?

5 votes
Accepted

Questions about semantics for First-Order Logic

4 votes
Accepted

What does "open sentence" mean in philosophy?

4 votes

Archaic mathematical reality as referred to by mathematician Alain Connes

3 votes
Accepted

"What don't you know?" - A common question

3 votes

Is knowledge really related to propositional modal logic?

2 votes

could an algorithm that writes algorithms be written?

2 votes

Is calculus approximate?

1 vote

Why do Conditional Semantics matter?

0 votes

If one is presumed innocent until proven guilty beyond any reasonable doubt, why wrongful convictions are so common?

0 votes

If there are infinite realities, do realities exist in which there are no infinite realities?