Tagged Questions
2
votes
2answers
131 views
Hard proof concerning the periodicity of trigonometrical functions. Is that a challenge or just trivial
i want to know if exist or if you can develop or give me ideas of a proof to show that the least number for which sine is periodic is $2\pi$
$$\neg \{\exists n\in \mathbb{R} \wedge n < 2\pi: ...
3
votes
1answer
147 views
Primitive recursive functions and characteristic functions. Methods of proof- examples. Illumination.
I am puzzling over a sentence in an example in a textbook, showing that a function $f$, defined by cases, is primitive recursive.
Let $E$ be the set of even natural numbers. The function $f$ defined ...
4
votes
1answer
69 views
Proofs whose length depends on the input
This may be a question from proof theory, but I'm not sure, since I don't know any proof theory. What I will be asking about is what happens, if the length of a proof isn't fixed: I'm going to present ...
