Philosophy
Michael Wehar's user avatar
Michael Wehar's user avatar
Michael Wehar's user avatar
Michael Wehar
  • Member for 9 years, 7 months
  • Last seen more than 8 years ago
Profile Activity
Stats
101
reputation
0
reached
1
answer
0
questions
Communities
View all
About

  • I am enthusiastic about automata theory.

  • I ran in the 2018 cstheory moderator election and lost by two votes.

  • Here is a short article that I wrote on "What to do if you have a proposed solution to P vs NP?" https://github.com/MichaelWehar/P-vs-NP-Community

Thank you for stopping by and please always feel welcome to contact me! :)

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
answer
0
Can we add to PA a new predicate T such that for every sentence A of the old vocabulary the new theory proves T(Godel numeric number of A) iff A
Sep 5, 2014
Top network posts
View all network posts
26
Deciding emptiness of intersection of regular languages in subquadratic time
25
Finding the smallest DFA that separates two words without using brute force search?
24
Are there any open problems left about DFAs?
19
Is there a non-deterministic linear time algorithm for CNF-SAT?
18
In an $m$ by $n$ Boolean matrix, can you find a square block whose four corners are ones in $O(m \cdot n)$ time?