Comments by "" (@diadetediotedio6918) on "" video.

@Benom8 You don't need to be a mathematician to make software to a high level of specification, programming languages exist for this sole reason actually.
3
@ Hmmm, I need to think about it, but at an initial glance I don't think this is true, the thing is: before Frege people did logic mostly with natural language, then he came and now we use formal language for it. Mathematics at some point in space and time were being described using purely natural and conversational language, then it became formalized. I think we will not devolve from having programming languages, rather the thing about "natural language programming" will be a separate market that will clash in some ways (but not totally) with the formal programming we already do today. Going from programming to plain language usage (to the point that it would require a professional lain language user) would be counterproductive.
2
You understand that this literally happens, right? People cannot communicate many times, we barely can translate old texts written in old languages even when we have a good idea of what their symbols means, and gavagai my friend. Natural language IS ambiguous, EXTREMELY, it is [most of the time] understandable, even tho it is extremely context-sentivie, not only to the surrounding words but to the way it is said and to the understanding of the reader, and even the social circle, but one thing don't cancel the other.
2
@LinkesAuge I think you should just read more formal logic before saying that people are "overestimating the natural language complexity".
1