User RFV

Stats

141

reputation

808

reached

answer

questions

Communities

View all

About

I am studying the foundations of mathematics and computation theory.

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

bronze badges

Teacher

Oct 11, 2022
Scholar

Oct 10, 2022
Editor

Dec 9, 2020

Top tags

View all tags

computability

Score

Posts

Posts %

turing-machines

Score

Posts

Posts %

halting-problem

Score

Posts

Posts %

semi-decidability

Score

Posts

Posts %

computation-models

Score

Posts

Posts %

type-theory

Score

Posts

Posts %

Top posts

Given an algorithm, is it possible to find all other equivalent algorithms for the same computable function in the same model

Apr 26, 2021

Consequences of the Halting Problem

Oct 10, 2022

Is it possible to determine if a 0-arity function [a program with no input] will always terminate

Oct 11, 2022

Are there some programs for which the only proof of termination, is running of the program, and waiting to see if it stops, no matter how long?

Oct 11, 2022

What is the difference between type theory and logic programming (in terms of declarative programming and specification)

Dec 5, 2020

How do real numbers like Pi, golden ratio, etc fit into type theory

Apr 23, 2021

How does one define transcendental numbers (such as Pi) in theory of general recursive functions

Oct 10, 2022

Are there some programs for which the only proof of termination, is running of the program, and waiting to see if it stops, no matter how long?

Oct 11, 2022

-1

Equivalence between Lambda Calculus [Church] and Computable Partial Functions [Godel]

Sep 22, 2022