User Adam

10 votes

2 answers

2k views

How could we formalize the introduction of new notation?

asked Jul 18, 2016 at 14:02

7 votes

2 answers

786 views

What is the correct definition of a group?

asked Jul 18, 2016 at 10:27

4 votes

1 answer

65 views

Factorizing integers on cluster of computers?

asked Jun 26, 2017 at 18:51

3 votes

3 answers

125 views

How is the notation of "the" dual vector space $V^*$ justified?

asked Jul 29, 2016 at 14:09

3 votes

2 answers

389 views

Are the following two equivalent?

asked Aug 31, 2016 at 5:14

2 votes

1 answer

21 views

Solution for this matrix equation?

asked Nov 21, 2016 at 9:11

2 votes

1 answer

116 views

Proving sentences to be unprovable with "combinatorial argument"?

asked Sep 15, 2017 at 12:38

2 votes

1 answer

491 views

Does absolute consistency imply consistency?

asked Feb 4, 2018 at 9:34

2 votes

1 answer

125 views

Is extension by compound definitions still conservative?

asked Apr 24, 2018 at 8:36

2 votes

0 answers

14 views

Optimal evaluation of $\prod_{i=0}^N\left(x-\omega^i\right)$

asked Apr 1, 2022 at 7:23

1 vote

2 answers

50 views

How to reason inside expressions?

asked May 8, 2018 at 9:48

1 vote

0 answers

85 views

How to formalize exceptions?

asked Sep 11, 2017 at 17:58

1 vote

3 answers

132 views

Provability vs. implication?

asked Dec 29, 2017 at 0:53

1 vote

0 answers

32 views

Formal verification of function contract?

asked Jan 11, 2017 at 13:59

1 vote

2 answers

313 views

Can the tensor product of two function spaces be regarded as a function space?

asked Aug 23, 2016 at 15:50

1 vote

0 answers

168 views

Best algorithm to compute the mean?

asked Apr 4, 2017 at 18:19

1 vote

1 answer

182 views

Conservative extension in higher order logic?

asked Sep 24, 2016 at 11:27

1 vote

1 answer

90 views

Formulation of axiom of induction?

asked Aug 19, 2016 at 7:11

0 votes

1 answer

40 views

Solution for a system of linear ODEs?

asked Nov 19, 2016 at 17:30

0 votes

3 answers

154 views

When is a definition via properties considered valid?

asked Jul 2, 2016 at 10:36

0 votes

1 answer

91 views

What does $\exists x:\top$ mean? [closed]

asked Jul 26, 2016 at 15:15

0 votes

2 answers

386 views

Correct definition of filter convergence?

asked Aug 16, 2017 at 17:57

0 votes

3 answers

44 views

Statements concerning lack of knowledge?

asked Feb 4, 2017 at 10:41

0 votes

1 answer

52 views

Implicit identity of group unit?

asked Mar 6, 2017 at 10:55

0 votes

2 answers

306 views

Existential generalization with bound variables?

asked Sep 19, 2017 at 17:31

-1 votes

1 answer

84 views

How are variables introduced?

asked Jul 26, 2016 at 15:37

-1 votes

1 answer

52 views

Logical equivalent of $\phi[x/y]$?

asked Aug 19, 2016 at 10:29

Stack Exchange Network

27 Questions

How could we formalize the introduction of new notation?

What is the correct definition of a group?

Factorizing integers on cluster of computers?

How is the notation of "the" dual vector space $V^*$ justified?

Are the following two equivalent?

Solution for this matrix equation?

Proving sentences to be unprovable with "combinatorial argument"?

Does absolute consistency imply consistency?

Is extension by compound definitions still conservative?

Optimal evaluation of $\prod_{i=0}^N\left(x-\omega^i\right)$

How to reason inside expressions?

How to formalize exceptions?

Provability vs. implication?

Formal verification of function contract?

Can the tensor product of two function spaces be regarded as a function space?

Best algorithm to compute the mean?

Conservative extension in higher order logic?

Formulation of axiom of induction?

Solution for a system of linear ODEs?

When is a definition via properties considered valid?

What does $\exists x:\top$ mean? [closed]

Correct definition of filter convergence?

Statements concerning lack of knowledge?

Implicit identity of group unit?

Existential generalization with bound variables?

How are variables introduced?

Logical equivalent of $\phi[x/y]$?