kakaz's user avatar
kakaz's user avatar
kakaz's user avatar
kakaz
  • Member for 14 years, 1 month
  • Last seen this week
1 vote
1 answer
128 views

Is volume of abstract polytope realisation bounded by length of edges?

2 votes
1 answer
280 views

Aperiodic tiling of compact space by small number of basic tiles

2 votes
0 answers
118 views

Corporate salesman problem

2 votes
1 answer
170 views

Internal operations on uncomputable functions

11 votes
1 answer
985 views

Kolmogorov-Arnold theorem for (just-)functions

1 vote
1 answer
341 views

Nontrivial, partially uncomputable function

2 votes
1 answer
813 views

Simple and general relation between continuant polynomials

2 votes
0 answers
384 views

Semigroup transformation (symmetry?) and hamiltionan dynamic. Noether Theorem generalization?

4 votes
1 answer
449 views

Turing Machine which generates order on the set of its states

1 vote
1 answer
258 views

Do Turing Machines generates any nontrivial lattice on the set o symbols or states?

114 votes
32 answers
20k views

What notions are used but not clearly defined in modern mathematics?

8 votes
4 answers
3k views

method of finding roots of polynominal equations with arithmetic operations and roots and other functions

1 vote
1 answer
304 views

How to distinguish property of particular representation from property of algebraic structure?

7 votes
1 answer
1k views

Is there a known way to formalise notion that certain theorems are essential ones?

15 votes
5 answers
7k views

infinite permutations

1 vote
3 answers
2k views

Is there formal definition of universal quantification?

-1 votes
1 answer
741 views

Is theory with domain of interpretation in second order objects a First Order Theory?

3 votes
2 answers
961 views

Theory interpreted in non-set domain of discourse may be consistent?

15 votes
5 answers
3k views

Is it necessary that model of theory is a set?

12 votes
3 answers
2k views

Database of finite presentations of used groups

4 votes
6 answers
1k views

Are there nonequivalent randomnesses?

1 vote
1 answer
282 views

How many rings exist when ring is subspace of finite dimentional vector space?

2 votes
3 answers
580 views

Given is "model". How many theories may it be a model?

10 votes
2 answers
1k views

Integrable dynamical system - relation to elliptic curves

2 votes
0 answers
515 views

When deRham curve is bijection?

2 votes
1 answer
1k views

monoid ring and some structure within it - how is it called?