babou

Member for 8 years, 5 months

Reputation

1,502

1.5k
1.4k
1.4k

2018
2019
2020
2021

Top tag

fl.formal-languages

Next privilege

2,000 Rep.

Edit questions and answers

Badges

10

16

Newest

Enlightened

Next badge

0/1

Impact

1 post edited

3 helpful flags

51 votes cast

4 Questions

Votes Activity Newest Views

3

16

votes

1

answer

909

views

To what extent can the mathematics of Reals be applied to Computable Reals?

computability computing-over-reals topology model-theory

Aug 12 '14 at 19:52 Andrej Bauer 25.7k

2

10

votes

0

answers

212

views

The halting problem in computational models weaker than Turing machines

computability halting-problem

Jul 30 '15 at 11:54 CommunityBot 1

4

votes

0

answers

727

views

Variant of a proof using Ogden's lemma

fl.formal-languages context-free context-free-languages

Jun 12 '13 at 23:01 CommunityBot 1

1

3

votes

1

answer

169

views

Upperbound on cardinality of product of two string sets at pairwise Hamming distance $> 1$

co.combinatorics coding-theory upper-bounds

Jun 19 '13 at 15:06 Davide Giraudo 107

Theoretical Computer Science Stack Exchange works best with JavaScript enabled