Diferència entre revisions de la pàgina «Cita de Kneale sobre Peano»
De Wikisofia
(modificant original) |
|||
(2 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 | ||
}} | }} | ||
Línia 22: | Línia 22: | ||
<center>_______________________________________________ | <center>_______________________________________________ | ||
− | Text escrit en la nova llengua internacional inventada per Peano que va anomenar ''latino sine flexione''.</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}} | {{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.