Respuestas al mensaje #2
-
🔧 Site instability resolved. You can report double-posts and broken attachments. For bigger issues, use the Technical Grievances thread.
🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.
Math thread
Equation got no solution. The discriminant is less than 0.
Next
(x - 1)2 + 2x + 3(x - 1) = (x + 2)2
Math thread
x1/2 = 0.94 +/- 1.69i (rounded to nice)
Show or disprove the following:
FOR ALL x (EXISTS y (-Q(x, (f(y)) AND (P(x) -> EXISTS y R(y)) AND P(x))...