User Jason Rute

4 votes

floating point representation via the perspective of TTE/computable analysis

answered Sep 2, 2015 at 18:54

3 votes

Algorithmic complexity of formal proof verification?

answered Dec 25, 2015 at 14:51

3 votes

Accepted

What is the relation between KC and height of rational number?

answered Mar 30, 2014 at 20:29

3 votes

Accepted

Randomness about coefficients of series

answered Jun 16, 2014 at 9:21

3 votes

Rationale behind an requirement on Turing machines

answered Aug 26, 2014 at 20:03

3 votes

A Model where Dedekind Reals and Cauchy Reals are Different

answered Apr 24, 2013 at 19:20

3 votes

Accepted

Martingale-cotype vs cotype on super-reflexive spaces

answered May 6, 2013 at 8:30

3 votes

Symmetries of the standard probability space

answered Oct 19, 2013 at 4:21

2 votes

Is There An Algorithmic Complexity Of A Random Distribution

answered Oct 7, 2013 at 11:55

2 votes

A function that is defined everywhere but has unknown values

answered Sep 15, 2012 at 3:57

2 votes

A function that is defined everywhere but has unknown values

answered Sep 15, 2012 at 4:05

2 votes

A function that is defined everywhere but has unknown values

answered Sep 15, 2012 at 19:36

2 votes

Accepted

Lower-semicomputable supermartingales with bounded increments

answered Mar 17, 2011 at 22:06

1 vote

measurability of integrated functions

answered Feb 23, 2011 at 2:03

1 vote

Webpages for specialized communities

answered Feb 14, 2011 at 21:50

1 vote

Additive functions on a lattice

answered Feb 15, 2011 at 23:40

1 vote

Order-independent properties arising naturally in mathematics

answered May 29, 2013 at 9:28

1 vote

Accepted

Are these two definitions of arithmetical hierarchy of real numbers equivalent?

answered Apr 4, 2016 at 19:07

1 vote

Accepted

Is there a way to find $\limsup$ and $\liminf$ for ergodic processes almost surely?

answered Sep 3, 2015 at 11:14

1 vote

Proving moduli of uniform continuity in RCA_0

answered Nov 25, 2015 at 17:24

1 vote

Computable Categories in the most direct sense?

answered Feb 12, 2015 at 22:46

0 votes

Accepted

Is the following product-like space a Polish space?

answered Mar 3, 2016 at 0:37

0 votes

Computing the measure of the projection on the torus of a semialgebraic set

answered Jul 1, 2012 at 18:58

Stack Exchange Network

53 Answers

floating point representation via the perspective of TTE/computable analysis

Algorithmic complexity of formal proof verification?

What is the relation between KC and height of rational number?

Randomness about coefficients of series

Rationale behind an requirement on Turing machines

A Model where Dedekind Reals and Cauchy Reals are Different

Martingale-cotype vs cotype on super-reflexive spaces

Symmetries of the standard probability space

Is There An Algorithmic Complexity Of A Random Distribution

A function that is defined everywhere but has unknown values

A function that is defined everywhere but has unknown values

A function that is defined everywhere but has unknown values

Lower-semicomputable supermartingales with bounded increments

measurability of integrated functions

Webpages for specialized communities

Additive functions on a lattice

Order-independent properties arising naturally in mathematics

Are these two definitions of arithmetical hierarchy of real numbers equivalent?

Is there a way to find $\limsup$ and $\liminf$ for ergodic processes almost surely?

Proving moduli of uniform continuity in RCA_0

Computable Categories in the most direct sense?

Is the following product-like space a Polish space?

Computing the measure of the projection on the torus of a semialgebraic set