FANDOM

  • KurohaKafka

    Bashicu Matrix Analysis

    February 20, 2018 by KurohaKafka

    I am not confident about the termination of BM 2.

    (0,0,0)(1,1,1)(2,1,1)(3,1,1)(4,1,0)(5,2,0)=Ψ_Ω(ε_{K+1}) (0,0,0)(1,1,1)(2,2,0)=pDAN


    ja

    Read more >
  • KurohaKafka

    Turing-incomplete

    October 27, 2017 by KurohaKafka

    Restrict Ξ function to S, K, I only or S and I only.

    Ξ[I](x)=1 (const)

    Ξ[K](x)=x

    Ξ[S](x)≧multiplication level

    Generation S(SAB)XY→SABY(XY)
    Conversion S(SA)XY→SAY(XY)
    Consumption SSXY→SY(XY)

    Ξ[S,I](x)=?

    Ξ[S,I,Ω](x)=?

    Read more >
  • KurohaKafka

    Some large functions appear in the process of defining large numbers. All large numbers belong to N and all functions belong N→N. Large functions are defined from successor.

    Read more >
  • KurohaKafka

    Iff we have a matrix such as

    \(G\frown B_0\frown B_1\frown\cdots\frown B_n\)

    which β-reduced from \(G\frown B\frown N\) , then it is holds that

    \(B_k\frown N_k

    Read more >