Diferència entre revisions de la pàgina «Cita de Kneale sobre Peano»
De Wikisofia
m (Text de reemplaçament - "senar" a "non") |
(modificant original) |
||
| (6 revisions intermèdies per 2 usuaris que no es mostren) | |||
| Línia 1: | Línia 1: | ||
| − | {{RecursWiki | + | {{PendentRev}}{{RecursWiki |
|Tipus=Extractes d'obres | |Tipus=Extractes d'obres | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 16: | Línia 8: | ||
{{Exemple}} | {{Exemple}} | ||
| − | Quaestio si | + | Quaestio si nos pote defini <math>N_0</math> significa si nos pote scribe |
aequalitate de forma | aequalitate de forma | ||
| − | <math>N_0</math> = expressiones composito per | + | <math>N_0</math> = expressiones composito per signos noto, <math>\cup, \cap, -, ..., \iota</math> |
| − | quod non | + | quod non es facile. Ergo nos sume tres idea |
<math>N_0, 0, +,</math> | <math>N_0, 0, +,</math> | ||
| − | ut idea | + | ut idea primitivo per que nos defini omni symbolo de Arithmetica. Nos determina valore de symbolo non definito per systema de propositio primitivo sequente. |
| − | {{Ref|Ref= | + | |
| − | + | <center>_______________________________________________ | |
| − | + | ||
| − | + | ||
| − | + | <small>Text escrit en la nova llengua internacional inventada per Peano que va anomenar ''latino sine flexione''.</small></center> | |
| − | }} | + | |
| + | |||
| + | {{Ref|Ref=Citado por W. Y M. Kneale, ''El desarrollo de la lógica'', Tecnos, Madrid 1972, p. 437.|Cita=true}} | ||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 22:26, 24 maig 2017
Quaestio si nos pote defini [math]\displaystyle{ N_0 }[/math] significa si nos pote scribe
aequalitate de forma
[math]\displaystyle{ N_0 }[/math] = expressiones composito per signos noto, [math]\displaystyle{ \cup, \cap, -, ..., \iota }[/math]
quod non es facile. Ergo nos sume tres idea
[math]\displaystyle{ N_0, 0, +, }[/math]
ut idea primitivo per que nos defini omni symbolo de Arithmetica. Nos determina valore de symbolo non definito per systema de propositio primitivo sequente.
| Citado por W. Y M. Kneale, El desarrollo de la lógica, Tecnos, Madrid 1972, p. 437. |
Original en castellà
Quaestio si nos pote defini [math]\displaystyle{ N_0 }[/math] significa si nos pote scribe
aequalitate de forma
[math]\displaystyle{ N_0 }[/math] = expressiones composito per signos noto, [math]\displaystyle{ \cup, \cap, -, ..., \iota }[/math]
quod non es facile. Ergo nos sume tres idea
[math]\displaystyle{ N_0, 0, +, }[/math]
ut idea primitivo per que nos defini omni symbolo de Arithmetica. Nos determina valore de symbolo non definito per systema de propositio primitivo sequente.