User newlogic

Stats

173

reputation

901

reached

answer

questions

Communities

View all

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

bronze badges

Commentator

Aug 16, 2022
Scholar

Mar 1, 2021
Editor

Jul 18, 2021

Top tags

View all tags

sets

Score

Posts

Posts %

functional-programming

Score

Posts

Posts %

recursion

Score

Posts

Posts %

induction

Score

Posts

Posts %

proof-techniques

Score

Posts

Posts %

turing-machines

Score

Posts

Posts %

Top posts

View all questions and answers

What is the difference between deterministic and confluent?

Mar 1, 2021

Is this a valid encoding of a tree structure using set theory and a valid way to extract the leaves from it?

Aug 19, 2021

What is the maths name for a set which contains the Domain and Codomain of a function? [closed]

Jan 31, 2020

Which abstract machine or language is exactly expressive enough to produce the computable functions?

Feb 15, 2022

Is this way to combine two functions into a new function called a function product?

Jul 18, 2021

Are there any formal systems or programming languages in which its only possible to define functions that have inverses?

Aug 15, 2022

Is there a computationally efficient algorithm which can map back and forth a multi-dimensional real number (R^n) to a single dimensional real (R)?

Aug 23, 2022

Can proofs by induction be achieved by defining a recursive function between two recursive objects?

Sep 10, 2023

When to do proof by structural induction Vs defining a recursive function?

Sep 13, 2023

How would I prove implications of this structure?

Jul 3