9,582 reputation
21860
bio website iecl.univ-lorraine.fr/…
location Nancy, France
age 64
visits member for 4 years, 6 months
seen 1 hour ago

Email: pierre.yves.gaillard at gmail.com

If you have any idea about this MathOverflow question, thanks for letting me know.


Jan
26
reviewed Approve Prove, inequality ,positive numbers
Jan
26
reviewed Approve $p$ is a limit point implies $p\in\overline{E-\{p\}}$.
Jan
26
reviewed Approve Limit point s.t $ S\cap Q $ =$ \emptyset $
Jan
25
comment Show that $\operatorname{rank}(A+B) \leq \operatorname{rank}(A) + \operatorname{rank}(B)$
Dear @MarcvanLeeuwen: I'm afraid you're right. I didn't read the question carefully enough. Sorry about that, and thanks for pointing this out!
Jan
22
reviewed Approve What is the difference between independent and mutually exclusive event? Explain with example and counter example.
Jan
21
reviewed Approve Prove $\int_0^b \left(\int_{0}^\infty f \,dy\right) dx= \int_0^\infty \left(\int_{0}^b f \,dx\right) dy$
Jan
21
reviewed Approve prove $S = \{x \mid x \in \mathbb R , x^2 < 2\}$ has a least upper bound
Jan
20
reviewed Approve Factoration / Simplification / Leibniz Polynomial
Jan
17
reviewed Approve Find $f(x)$ such that $f(x+y)+f(x)=2f(x-y)+2f(y)$
Jan
15
reviewed Approve Kleene Star & proof regarding Alphabets
Jan
12
comment Diagonalizable transformation restricted to an invariant subspace is diagonalizable
@MarcvanLeeuwen: Thank you very much for the kind words and the edit!
Jan
11
reviewed Approve Uniformly Integrable of sets in $L_{1}(\mu)$ is equivalent to almost order boundedness
Jan
10
reviewed Approve Books on coordinate transformations
Jan
2
comment Is there a fundamental distinction between objects and its types?
@RobinNeumann: You're welcome! (Please insert an @Pierre-Yves when writing to me. I found your comment by chance.) I interpret the sentence you quoted as meaning "the objects of our theory are called terms or types". If $t$ and $u$ are terms, I'd say that $t:u$ is a proposition, and, if $\Gamma$ is a context, that $\Gamma\vdash t:u$ is a judgment. I'd also say that a formula is a term, a proposition or a judgment. (Of course, there are other propositions and judgments.) Again, I'm not sure at all...
Jan
2
comment Is there a fundamental distinction between objects and its types?
Dear Robin: $+1$ for your interesting question! Did you see the word object in the book? - I'm not sure but I'd say that the words term and type are synonymous, and that an expression of the form $p:a=_Ab$ might be read as "$p$ is a proof of the propositional equality of $a$ and $b$ in $A$", but the book prefers (in such a situation) to use words such as evidence and witness instead of proof. (Note that $a=_Ab$ is a type.)
Dec
29
reviewed Approve Polynomial annihilator method $y''+8y=5x+2e^{-x}$
Dec
24
reviewed Reject Help to find example where $\sup\{a_nb_n|n\in N\}> \sup\{a_n|n\in N\}\sup\{b_n|n\in N\}$
Dec
24
reviewed Approve Radius of convergence of power series*
Dec
23
reviewed Approve Existence of an ideal with norm 13 in $\mathcal{O}_K$
Dec
22
reviewed Approve Integral domain without unity has prime characteristic?