# Search Results

Results tagged with Search options user 56687
6 results

Questions related to mathematical logic and its use in computer science

question is: Is there an intuitive explanation of why this is true? I've read an $n$ step proof in modal logic, but my intuition is not improved by it. …
asked Jun 25 '18 by user56834
In the book "topology via logic" by Steven Vickers, topology is introduced for computer scientists, with the idea that topology captures the idea of approximate information. I am somewhat confused …
easily follow. e.g. a computer can easily calculate $5349\cdot 5345=...$ There is a "mechanical" proof-system, most importantly, first order logic, which also operates according to well-defined rules … structure, for use in a logic-language? This computational problem is essentially: given e.g. the rules of arithmetic, find a first-order statement that we can use as an axiom to then derive further …
Propositional extentionality in the lean theorem prover is stated as the following axiom: axiom proptext {a b : Prop} : (a $\iff$ b) \to a = b My confusion about this is as follows: Previously I …