Skip to main content
Computer Science
Mike Battaglia's user avatar
Mike Battaglia's user avatar
Mike Battaglia's user avatar
Mike Battaglia
  • Member for 12 years, 4 months
  • Last seen more than a month ago
Profile Activity

Stats

1,081
reputation
18k
reached
2
answers
29
questions
Communities
View all

Badges

View all badges
This user doesn’t have any gold badges yet.
6
silver badges
21
bronze badges

Top tags

View all tags
4
Score
5
Posts
16
Posts %
0
Score
15
Posts
48
Posts %
0
Score
6
Posts
19
Posts %
0
Score
6
Posts
19
Posts %
0
Score
6
Posts
19
Posts %
0
Score
4
Posts
13
Posts %

Top posts

View all questions and answers
13
Random Access Machines with only addition, multiplication, equality
Jun 14, 2017
12
A variant of the halting problem for subsets of Turing machines
May 23, 2025
11
Do there exist "O(1)-complete" problems?
Jun 14, 2017
7
Do "Type-2" Turing machines with infinite length inputs have more computational power?
May 22, 2018
7
In a bloom filter, why does the optimal number of hashes *increase* with the number of bits in the filter?
Jun 1, 2018
6
How hard is random SAT?
Sep 30, 2021
4
Real RAMs with "reasonable" operations
Jul 2, 2017
4
Infinite Boolean circuits as a model of computation
Sep 20, 2017
4
How many "compressible" strings are there?
Nov 18, 2019
4
Does the unsolvability of the halting problem imply the existence of Turing machines which cannot be proven either to halt or not halt?
Apr 15, 2023

Top network posts

View all network posts
50
Is the theory of dual numbers strong enough to develop real analysis, and does it resemble Newton's historical method for doing calculus?
33
Elements in $\hat{\mathbb{Z}}$, the profinite completion of the integers
32
Are Conway's omnific integers the Grothendieck group of the ordinals under commutative addition?
28
What "metatheory" did early set theory/logic researchers use to prove semantic results?
27
Are Conway's combinatorial games the "monster model" of any familiar theory?