AG
In your profile you say you're interested formal methods. Have you studied basic logic? Propositional calculus, first order logic, theorems of Godel, etc?
Size: a a a
2020 July 29
AT
I think finally I understood this community... It's sad
You make very broad statements about mathematics and mathematicians, physics and physicists, programming (software development) and programmers. Your statements are destined to be wrong just due to sheer broadness and diversity of the fields. The mileage really varies a lot.
AS
Well... People who work in applications of science depend on mathematicians and physicists right? If programmers don't even learn basic maths and physics, then technology will tend to become less powerful. Seems logical no?
я думаю область применения программирования просто стало гораздо шире чем в прошлом, более популярно. Я думаю что те, кому посчастливилось быть причастным к продвижению технологий достаточно квалифицированы — в том плане что врятли из мира исчезнут продвинутые специалисты или их станет меньше из-за снижения порога входа. А для более приземленных вещей знать как раобтает компьютер и понимание математики часто не нужно
AG
You make very broad statements about mathematics and mathematicians, physics and physicists, programming (software development) and programmers. Your statements are destined to be wrong just due to sheer broadness and diversity of the fields. The mileage really varies a lot.
My point is simple. How can people write programs without proper mathematical training? For you the answer is... Просто так.
AT
In your profile you say you're interested formal methods. Have you studied basic logic? Propositional calculus, first order logic, theorems of Godel, etc?
Yep sure. On my own. And I still continue to study this direction.
And it has nothing to do with what I do at my job. If anything I'd be better learning some different areas of math. 😊
And it has nothing to do with what I do at my job. If anything I'd be better learning some different areas of math. 😊
AG
Yep sure. On my own. And I still continue to study this direction.
And it has nothing to do with what I do at my job. If anything I'd be better learning some different areas of math. 😊
And it has nothing to do with what I do at my job. If anything I'd be better learning some different areas of math. 😊
So you see? You have the right attitude
AT
My point is simple. How can people write programs without proper mathematical training? For you the answer is... Просто так.
Yep "просто так". And I personally started programming much-much earlier than I learned any related math.
AG
я думаю область применения программирования просто стало гораздо шире чем в прошлом, более популярно. Я думаю что те, кому посчастливилось быть причастным к продвижению технологий достаточно квалифицированы — в том плане что врятли из мира исчезнут продвинутые специалисты или их станет меньше из-за снижения порога входа. А для более приземленных вещей знать как раобтает компьютер и понимание математики часто не нужно
Ну вот. А теперь вопрос: где найти интересную работу?
AG
Yep "просто так". And I personally started programming much-much earlier than I learned any related math.
Interesting...
AT
So you see? You have the right attitude
"The right" with respect to what? I would never claim everyone should share my attitude or my interests or my path to programming.
Different people have very different interests, skills and attitudes. There are many path to "programming" — why only one should be praised?
Different people have very different interests, skills and attitudes. There are many path to "programming" — why only one should be praised?
AG
For me it's very frustrating that programming lacks the elegance I'm used to in maths
AS
Ну вот. А теперь вопрос: где найти интересную работу?
моя точка зрения — что “интересной” работы меньше не стало. просто количество работы впринципе в разы увелилось и возможно “интересная” от этого затерялась
AT
For me it's very frustrating that programming lacks the elegance I'm used to in maths
Go for theorem proving with Coq/Lean/Isabelle. You can get a job around Smart Contracts and languages and compilers for them.
AG
моя точка зрения — что “интересной” работы меньше не стало. просто количество работы впринципе в разы увелилось и возможно “интересная” от этого затерялась
Очень интересно. Спасибо.
AG
Go for theorem proving with Coq/Lean/Isabelle. You can get a job around Smart Contracts and languages and compilers for them.
From what I've seen it's also quite different from maths
AG
The things you can prove with those things are too basic
AG
I want to read SICP and then dig into haskell
AT
From what I've seen it's also quite different from maths
That's the closest thing to math we have. 😂
AG
Hopefully I'll change my mind about progrmming
AS
Очень интересно. Спасибо.
кроме того, говоря о Coq, TLA+, etc.. популяризация айти способствовало появлению гигантских систем и развитию областей знания, которые раньше просто не имели применения. Да даже просто параллельные процессы.