Search the Nachlass

Leibniz-Handschriften zur Mathematik LH 35, 12, 2, fol. 72r

Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German. Mean line confidence on this page: 0.80.

Original at the GWLB · Page image · Annotations (IIIF) · Download text

The machine reads it as

  1. Bi
  2. 1
  3. etIC =2, 21Zeu
  4. 9H =10 90C 9. 10
  5. eonumo posapomum Fundamenta calculi Literalis
  6. pro Algorithmo quatuor specierum, et Regulae tureae
  7. Aequalia sunt quae sibi substitui possunt salva quantitate
  8. et ce designantur hoc modo a = b, id est d et b sibi aequalia sunt c
  9. valoret 1+122
  10. mutur
  11. 21=8
  12. r=13
  13. 8+- 9
  14. Axiomata, in quibus contipetur vis characterum 10+ 10=20
  15. 2t123 31
  16. qu = 100
  17. 20+10 = 30
  18. uso Doni-
  19. =A 4+) 23.
  20. demognatur ex sef. aaequamur
  21. et b = a veluti V = 10 et 10 = X, 1or2- f1173.
  22. ant
  23. mt (2) Aequivalent a = C, et a +b = C+b. Veluti a = 2 Ergo a +3 = 2+3-5
  24. 100+1 = 101
  25. demus
  26. x
  27. ajule. e
  28. demanstratur hac ex ninalam
  29. Aequivalent a = C et ab = cb, veluti, a = Z Ergo, ab = 2b, si b = 3
  30. fiet a. 3 =. 2.3 = 6
  31. (4) +at b = b + a an demons
  32. b
  33. 1
  34. Hrque demonstrata ex dif aequalia
  35. ama
  36. Et L3, 3+1 = 4 ex
  37. Initio omitti solet +, ita e a + b, idem est a
  38. ab = ba seu 2.3 = 3. 2 =6 vel numem
  39. +1, a = a
  40. a - a =0
  41. a=
  42. minatus
  43. matus
  44. B l
  45. 6) quivi)
  46. =I a Hnc - ab =-aid
  47. vel deter minatius
  48. 4a-b, ab
  49. a:b,
  50. 20
  51. t andus tuis quibis aut etias
  52. a+b, c = aC + bc, velut 2+3, 4 = 2. 4 + 3.9
  53. (St a+0-a
  54. ua
  55. Numeri vel
  56. postatatum a+b, ab, a- b, a:b possunt
  57. exprinu per C, oet aliam literam,
  58. quamanquenondum ad aliam significa
  59. tionem determinatam
  60. 2: b = 14: b (per 8) - (per 7) a, 1: b
  61. aliam
  62. A, aquimmabibpor
  63. id aequale dici potest exprimi potrest per literam nondem ad signiticationem determira
  64. 11) a: D=
  65. tam
  66. 1. b. hoc forte ismonstres ex
  67. Theoremata quaedam hinc demonstrata
  68. (1) si a = b et b = c erit a = c Nam si in a = b pro b (per definitionem
  69. 12
  70. a b
  71. si a = l et b = m fit atb = l+m Nam F (per 2) a + b = l + = (per des.
  72. equalium) substituas e fit a = c
  73. 3) a bc = a cb = b ac = bc a = cab = eba, Sumatur una ex his aequalitatibus
  74. ut abc = bca, sit bc- d firt ad da quae sic demonstrabitur:
  75. aequalium) l+ m
  76. ab sit bc = d, erit abc = ad = da a (per 7) da = bcR. sic
  77. et abc = cba. Nam cba = (per 7) bca = da = ad = abC. Eodemus
  78. Et generaliter hinc celligitur
  79. omnes ect producentium multiplicantium transpositiones esse permissas
  80. modo et caeterae demonstrari possunt.
  81. 1)
  82. 4) C, a tb = ca + 5b Nam C, a + b = (per 7) a+b, C = (per 6) aC + bc =
  83. sic 4, 23 = 4. 2 + 4. 3 = 8+ 12 = 20
  84. -a, b = - a b Nam = a, b = (per 10) - 1, a, b = - 1, ab = (per 10) - ab
  85. (per 7) ca + cb
  86. ita - 2, 3 = -6, Hoc est quod dicunt - in + facere -, seu -1, +1 =
  87. (6) b, - a = = ab Nam (per ) b, - a = (per 7) - a, b = (per th. 5) - ab. Hoc
  88. est quod dicunt + in = faere =, seu +1, -1
  89. iC

Cite

Leibniz-Handschriften zur Mathematik LH 35, 12, 2, fol. 72r. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 74). https://leibnizlegible.com/page/00068195:0143?run=74