99# Vinicius Gubiani Ferreira <vini.g.fer@gmail.com>, 2021
1010# i17obot <i17obot@rougeth.com>, 2021
1111# ApenasRR Mesmo <apenasrr@gmail.com>, 2021
12- # Rafael Fontenelle <rffontenelle@gmail.com>, 2021
1312# Raphael Mendonça, 2021
1413# Italo Penaforte <italo.penaforte@gmail.com>, 2021
14+ # Rafael Fontenelle <rffontenelle@gmail.com>, 2021
1515#
1616#, fuzzy
1717msgid ""
@@ -20,7 +20,7 @@ msgstr ""
2020"Report-Msgid-Bugs-To : \n "
2121"POT-Creation-Date : 2021-06-29 12:56+0000\n "
2222"PO-Revision-Date : 2021-06-28 00:53+0000\n "
23- "Last-Translator : Italo Penaforte <italo.penaforte @gmail.com>, 2021\n "
23+ "Last-Translator : Rafael Fontenelle <rffontenelle @gmail.com>, 2021\n "
2424"Language-Team : Portuguese (Brazil) (https://www.transifex.com/python-doc/ "
2525"teams/5390/pt_BR/)\n "
2626"MIME-Version : 1.0\n "
@@ -332,14 +332,15 @@ msgid ""
332332"the question of verifying the proof; maybe there's an error in it, and you "
333333"wrongly believe you've proved the program correct."
334334msgstr ""
335- "Infelizmente, os programas de prova corretas são praticamente impraticáveis "
336- "e não relevantes para o Python software. Mesmo os programas triviais exigem "
337- "provas de várias páginas; A prova de correção para um programa moderadamente "
338- "complicado seria enorme, e poucos ou nenhum dos programas que você usa "
339- "diariamente (o intérprete Python, seu analisador XML, seu navegador) poderia "
340- "ser comprovado correto. Mesmo que você tenha anotado ou gerado uma prova, "
341- "então haveria a questão de verificar a prova; Talvez haja um erro nisso, e "
342- "você acredita erroneamente que você provou o programa corretamente."
335+ "Infelizmente, prpvar que os programas estão corretos são praticamente "
336+ "impraticáveis e não relevantes para o software Python. Mesmo os programas "
337+ "triviais exigem provas de várias páginas; A prova de correção para um "
338+ "programa moderadamente complicado seria enorme, e poucos ou nenhum dos "
339+ "programas que você usa diariamente (o interpretador Python, seu analisador "
340+ "XML, seu navegador) poderia ser comprovado correto. Mesmo que você tenha "
341+ "anotado ou gerado uma prova, então haveria a questão de verificar a prova; "
342+ "Talvez haja um erro nisso, e você acredita erroneamente que você provou o "
343+ "programa corretamente."
343344
344345#: ../../howto/functional.rst:136
345346msgid "Modularity"
0 commit comments