# Tagged Questions

49 views

### P vs EXP (Can anybody help me where my proof should have failed?) [on hold]

First things first... I am not a mathematician that is why you may find the paper as "having not enough rigor as much as it had to have". Second, I tried to combine the basic informations on set ...
51 views

### Set Notation in Turing Machine [closed]

Im trying to find the set notation and grammar for the turing machine below: q0--(#/#,R)-->q1 q1--(3/3,R)-->q5(Final State) q5--(b/b,R),(3/3,R)-->q5 q1--(1/a,R)-->q2 ...
19 views

### Finding percentage of similarity between varying sets of integers [closed]

I have a challenge that I'm willing to pay for consultation to resolve and ultimately would like to have create a working relationship with someone as a result of this post. I have an application ...
176 views

### Is there a set theoretic way to look at SQL?

I have been learning about SQL and at times it feels like set theory. A statement like SELECT * FROM myTable is like a set $\{ x: x \in \text{myTable} \}$. A ...
289 views

### Universal and existential types

I'm trying to wrap my head around the concepts of universal and existential types but everywhere I look, I see either logical or operational intuitions (or implementations) (e.g. TAPL book by B. ...
286 views

### Applications for set theory, ordinal theory, infinite combinatorics and general topology in computer science?

I am a mathematician interested in set theory, ordinal theory, infinite combinatorics and general topology. Are there any applications for these subjects in computer science? I have looked a bit, and ...
142 views

### How can I formalize key value stores with set theory? [closed]

I'm currently developing a simple key-value NoSQL store and want to build its formal model. I'm interested in knowing if there some work about formalization of key-value stores outside of category ...
81 views

### Minimum order of partite in a bipartite graph

I want to create a bipartite graph where the first partite $U$ contains $L$ vertices with degree $k$ and the second partite $V$ contains $N$ other vertices with degree $a$. I need to find the minimum ...
68 views

### Finding exact value with a quotients of products of random values

Sorry for the haphazard title: really not sure what this should be called Suppose we have a set of $z$ random values $S = r_1, \dots, r_z$ drawn from $\mathbb{Z}_N$ (where $N$ is some large prime). ...
53 views

### Explanation of Cantor's diagonal argument? [closed]

I struggled to understand the Cantor's diagonal argument, but I have some problems comprehending the following: By construction, $s$ differs from each $s_n$, since their $n^{th}$ digits differ ...
I am planning to implement in software a set theory language, based on a binary function, which in set theory is the so called adjunction operation: $f(x, y) = x \cup$ {y}. Therefore, a presentation ...