Adam's user avatar
Adam's user avatar
Adam's user avatar
Adam
  • Member for 7 years, 8 months
  • Last seen more than 1 year ago
10 votes
2 answers
2k views

How could we formalize the introduction of new notation?

7 votes
2 answers
791 views

What is the correct definition of a group?

4 votes
1 answer
65 views

Factorizing integers on cluster of computers?

3 votes
3 answers
125 views

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

3 votes
2 answers
390 views

Are the following two equivalent?

2 votes
1 answer
21 views

Solution for this matrix equation?

2 votes
1 answer
116 views

Proving sentences to be unprovable with "combinatorial argument"?

2 votes
1 answer
518 views

Does absolute consistency imply consistency?

2 votes
1 answer
142 views

Is extension by compound definitions still conservative?

2 votes
0 answers
14 views

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

1 vote
2 answers
50 views

How to reason inside expressions?

1 vote
0 answers
86 views

How to formalize exceptions?

1 vote
3 answers
133 views

Provability vs. implication?

1 vote
0 answers
32 views

Formal verification of function contract?

1 vote
2 answers
317 views

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

1 vote
0 answers
170 views

Best algorithm to compute the mean?

1 vote
1 answer
189 views

Conservative extension in higher order logic?

1 vote
1 answer
90 views

Formulation of axiom of induction?

0 votes
1 answer
40 views

Solution for a system of linear ODEs?

0 votes
3 answers
155 views

When is a definition via properties considered valid?

0 votes
1 answer
93 views

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

0 votes
2 answers
389 views

Correct definition of filter convergence?

0 votes
3 answers
44 views

Statements concerning lack of knowledge?

0 votes
1 answer
53 views

Implicit identity of group unit?

0 votes
2 answers
309 views

Existential generalization with bound variables?

-1 votes
1 answer
86 views

How are variables introduced?

-1 votes
1 answer
55 views

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