User kakaz

114 votes

32 answers

20k views

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

asked Feb 25, 2011 at 20:43

15 votes

5 answers

3k views

Is it necessary that model of theory is a set?

asked Feb 18, 2010 at 9:51

15 votes

5 answers

7k views

infinite permutations

asked Mar 9, 2010 at 20:29

12 votes

3 answers

2k views

Database of finite presentations of used groups

asked Feb 12, 2010 at 11:57

11 votes

1 answer

986 views

Kolmogorov-Arnold theorem for (just-)functions

asked Aug 16, 2017 at 7:31

10 votes

2 answers

1k views

Integrable dynamical system - relation to elliptic curves

asked Feb 8, 2010 at 12:07

8 votes

4 answers

3k views

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

asked Apr 30, 2010 at 11:12

7 votes

1 answer

1k views

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

asked Mar 12, 2010 at 10:00

4 votes

1 answer

449 views

Turing Machine which generates order on the set of its states

asked Mar 8, 2011 at 8:24

4 votes

6 answers

1k views

Are there nonequivalent randomnesses?

asked Feb 9, 2010 at 19:49

3 votes

2 answers

964 views

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

asked Feb 19, 2010 at 13:41

2 votes

3 answers

584 views

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

asked Feb 8, 2010 at 12:26

2 votes

1 answer

1k views

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

asked Feb 5, 2010 at 10:45

2 votes

0 answers

515 views

When deRham curve is bijection?

asked Feb 5, 2010 at 22:58

2 votes

0 answers

384 views

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

asked Mar 31, 2011 at 21:43

2 votes

1 answer

821 views

Simple and general relation between continuant polynomials

asked Mar 19, 2012 at 18:26

2 votes

1 answer

170 views

Internal operations on uncomputable functions

asked Nov 12, 2017 at 10:14

2 votes

0 answers

118 views

Corporate salesman problem

asked Dec 3, 2017 at 11:16

2 votes

1 answer

283 views

Aperiodic tiling of compact space by small number of basic tiles

asked Dec 25, 2017 at 9:53

1 vote

1 answer

128 views

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

asked May 27, 2018 at 10:40

1 vote

1 answer

260 views

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

asked Mar 7, 2011 at 14:37

1 vote

1 answer

342 views

Nontrivial, partially uncomputable function

asked Jun 22, 2013 at 17:25

1 vote

1 answer

304 views

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

asked Mar 27, 2010 at 22:24

1 vote

3 answers

2k views

Is there formal definition of universal quantification?

asked Feb 22, 2010 at 22:38

1 vote

1 answer

282 views

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

asked Feb 8, 2010 at 15:21

-1 votes

1 answer

743 views

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

asked Feb 19, 2010 at 19:09

Stack Exchange Network

26 Questions

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

Is it necessary that model of theory is a set?

infinite permutations

Database of finite presentations of used groups

Kolmogorov-Arnold theorem for (just-)functions

Integrable dynamical system - relation to elliptic curves

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

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

Turing Machine which generates order on the set of its states

Are there nonequivalent randomnesses?

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

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

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

When deRham curve is bijection?

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

Simple and general relation between continuant polynomials

Internal operations on uncomputable functions

Corporate salesman problem

Aperiodic tiling of compact space by small number of basic tiles

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

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

Nontrivial, partially uncomputable function

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

Is there formal definition of universal quantification?

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

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