less info
reputation
419
bio website location age member for 3 years, 7 months seen 17 hours ago profile views 347

Dear All,

If you want raw timely information about what is cooking in our lab you can follow the following stream:

+Jekejeke Logic Programming

Have Fun

# 22 Questions

 10 In-place inversion of large matrices 8 How to deduce that something does not follow? 4 Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$ 4 Non Higher-Order Formulation of Gödels Incompletness Theorem 3 Skolemization of a Formula

# 518 Reputation

 +10 Is the validity of the Skolemization of a sentence A infers the validity of A? +10 Skolemization of a Formula +5 Skolemization of a Formula +5 In-place inversion of large matrices

 9 Prove that $\beta \rightarrow \neg \neg \beta$ is a theorem using standard axioms 1,2,3 and MP 3 How to compute the formula $\sum \limits_{r=1}^d r \cdot 2^r$? 2 Skolemization of a Formula 2 Is the validity of the Skolemization of a sentence A infers the validity of A? 2 How to prove AB is not equal to BC

# 37 Tags

 16 logic × 27 3 summation 9 proof-strategy × 2 2 propositional-calculus × 9 3 discrete-mathematics × 2 2 quantifiers × 3 3 calculus × 2 2 predicate-logic × 3 3 sequences-and-series 2 geometry

# 24 Accounts

 Stack Overflow 2,585 rep 2931 Mathematics 518 rep 419 English Language & Usage 198 rep 8 Area 51 161 rep 1 German Language 153 rep 6