Vertaling van "une proposition est vraie si elle affirme " (Frans → Nederlands) :

Et une proposition est vraie si elle affirme une chose qui correspond à la réalité.
En een propositie is waar als een bewering wordt gedaan die correspondeert aan de realiteit.

Il construisait une machine qui faisait des mathématiques. Lovelace disait « Vous pouvez faire plus que des mathématiques sur cette machine ». Tout comme vous, chacun ici, maintenant, possède un ordinateur parce qu'il possède un téléphone. Tout, à l'intérieur de ce téléphone, d'un ordinateur ou autre dispositif de calcul, tout est mathématiques. Au fond, tout est nombres. Que ce soit une vidéo, un texte, de la musique, une voix, tout est nombres, Au fond, tout se passe suivant des opérations mathématiques. Lovelace disait : « Si vous utilisez des opérations et des symboles mathématiques, ça ne veut pas dire qu'ils ne peuvent représenter autre chose dans la vraie vie, la musique par exemple ». C'était fabuleux. Babbage était là à dire : « On peut calculer ces opérations, imprimer des pages de nombres et dessiner des graphiques » -- (Rires) -- alors que Lovelace disait : « Ecoutez, cette machine peut même composer de la musique si vous lui en fournissez une représentation numérique ». C'est ce que j'appelle le bond de Lovelace. Si vous pensez que c'est un programmeur, elle l'est un peu, mais le plus important c'est d'avoir affirmé que l'avenir allait être bien plus riche.
Hij wilde een machine om aan wiskunde te doen en Lovelace zei: Je zou op deze machine meer kunnen doen dan alleen maar wiskunde. Iedereen hier heeft een computer bij: jullie telefoon. Alles in die telefoon, elke computer of elk ander rekenapparaat werkt met wiskunde. Het komt neer op verwerking van getallen. Of het nu video, tekst, stem of muziek is, het zijn allemaal getallen. Allemaal wiskundige functies. Lovelace zei: Dat je werkt met getallen, wiskundige functies en symbolen betekent niet dat deze dingen geen andere dingen in de echte wereld, zoals muziek, kunnen voorstellen. Dat was een enorme sprong voorwaarts. Babbage zei: We kunnen deze geweldige functies uitrekenen en dan tabellen met cijfers uitprinten en grafieken tekenen. — (Gelach) — Maar Lovelace zegt: Kijk, dit ding zou zelfs muziek kunnen componeren als je het een numerieke weergave aanleerde van muziek. Dit noem ik de 'Lovelacesprong'. Ze heeft wat geprogrammeerd, maar haar echte prestatie was dat zij inzag dat de toekomst veel, veel meer zou zijn.