2 Questions 2 Answers 0 Followers
Questions related from Xaver Newberry
Let A, B be propositional formulas. The equal sign ‘=’ shall be interpreted according to Kleene’s strong tables. (Kleene’s strong tables have three values: true, false, unknown, denoted as T, F,...
27 February 2022 1,422 0 View
THEOREM 1: There are numbers k and s and a program A(n,m) satisfying the following conditions. 1. If A(n,m) halts, then C_n(m) diverges. 2. For all n, C_k(n) = A(n,n) and C_s(n) = Ck(s). 3....
03 July 2021 1,247 1 View
