# Tag Info

## Hot answers tagged logical-validity

8 votes

### Undecidable predicate logic is decidable by people?

The author is incorrect. A consequence of Godel's incompleteness is that any sufficiently complex logic has statements that are true, but have no proof of truth. If every statement had a proof or ...
• 29.7k
5 votes
Accepted

### Undecidable predicate logic is decidable by people?

Keep in mind that the book was written for undergraduate students, and there are aspects of logic that will demand a considerable level of sophistication, which is often omitted at this introductory ...
• 3,256
5 votes
Accepted

### Contingent sentences can always be true

In mathematical logic - the discipline of logic that has interested computer scientists the most - there is a difference between proof-theoretic truth and model-theoretic truth. Beyond metaphor (of ...
• 3,256
2 votes

### Consequences of a language that hides his lower level rappresentations

There's plenty of precedent for this in real programming languages. One obvious example is pointers/references, which are internally just an address (probably). The language/runtime must know this, ...
• 21.7k
1 vote
Accepted

### How can I prove that LTL formula is valid?

There are two main technique in order to prove validity (or more in general, to solve the problem of satisfiability over a definite model) for a LTL formula. The first one is based on semantic tableau,...
• 852
1 vote

• 9,757
1 vote
Accepted

### Verifying execution of code in trustless environment

This is the problem of securely outsourcing computation. There's lots of work on this problem in the cryptographic literature; if you do a search at [Crypto.SE] and [Security.SE], you should find ...
• 156k

Only top scored, non community-wiki answers of a minimum length are eligible