Newbie at ASI in R?

[Oliver_Haken]

I’m gonna need a few pointers here as this is my first time using r…

N <- list()
v <- list()
i <- list()
k <- list()
n <- list()
Q <- set()
repeat {
Q <- set(Q)
N.append(Q)
v.append(Q)
i.append(Q)
k.append(Q)
n.append(Q)}
i <- 0
u <- list()
repeat {
i <- i + 1
u.append(i)}
z <- any(u)
v <- v[z]
i <- i[z]
k <- k[z]
n <- n[z]
Ninf <- n[inf]
N <- N
l <- set((k[n]) :: k[n].element(set(none,set()) for n.element(N))
x <- Ninf == set(v.element(l) :: all(i).element(N(v[i] >= v[i+1])))
X <- 0
X <- X + 1
repeat {
p <- function(){
any(x).element(X(p(x)==0)) | all(x).element(X(p(x)==1))}
if (X == 2){break}}
w = ""
c <- 0
repeat{
repeat{
c <- c + 1
a <- character(c)
if (p == 1){w.paste(a)}
}
if (j==j.paste("")){break}}
print(w)

If R cannot handle Goedel's system T please tell me
I don’t want to waste my time

[technocrat]

If the code were in C++ (I can't get it to compile as is) as a function, it could be called from within an R session using the {Rcpp} package or if it were in Python, through {reticulate}. R is Turing complete, so it can in theory do anything. There is one package {lfl} that calculates t-norms. Haskell may be a better choice.