LINUX.ORG.RU

новый язык. Еще один подход.


0

0

Доброго времени суток!

Давненько я здесь не флудил. Короче, ещё одно видение нового мегаязыка.
Известно, что паскаль компилируется в несколько раз быстрее, чем С. Поэтому, подход к созданию динамического языка через промежуточный компилятор Паскаля выглядит более здравым, чем подобный же подход через промежуточный компилятор С. Однако, сложилось так, что «всё» написано на С. Значит, мораль-то в чём?

1. Вычленяем в С то, что заставляет его медленно компилировать.
2. Делаем частичный компилятор С в язык, подобный Паскалю (который можно быстро компилировать).
По моим понятиям, что мешает С быстро компилироваться (могу ошибаться):
- система типов
Значит, нужен промежуточный язык, в котором неявное становится явным.
- идеология сборки с многократным чтением инклюдников
Значит, нужно поменять идеологию сборки. Я думаю, нужно уметь создавать некий «модуль», подобный «прекомпилированному хедеру», но более гибкий. С gcc я почти не работал, в MSVS прекомпилированный хидер - один на проект и этого мало. Нужно несколько. Они должны инкапсулировать состояние препроцессора и перекомпилироваться только по необходимости.

Тем самым мы получаем в наследство всё, что есть в С, только с быстрой сборкой.
Далее добавляем:
- нормальные макросы (включая обратимые макросы, возможность подменить лексеры и включая средства отслеживания сорсов)
- возможность делать код динамическим, т.е. динамически перекомпилировать отдельные функции и менять типы данных. Не все, но большинство.
- специальные переменные, локальные функции, замыкания
- встроенный тип «вариант» и полноценный полиморфизм
- декларативное управление памятью. Работая в лиспе, я чётко понимаю, что он мало подходит для задач реального времени. Я не думаю, что языки со сборкой мусора когда-нибудь смогут использоваться для этого. Да, можно извратиться и иногда накрутить много циклов без сборки мусора, но программирование становится очень сложным. Кроме того, ничего не декларируется о неожиданном порождении мусора в библиотеках или даже в самой рантайм-среде (например, если вдруг запустится JIT-компилятор). Поэтому, предлагается поддерживать на уровне компилятора всякие «умные указатели», чтобы можно было в статике проверить правильность работы с памятью.Конечно, вообще говоря эта задача не разрешима. Но представьте себе, например, сигнатуру функции:

fresh treeNode makeTreeNod(alien referenced treeNode parent);

Здесь говорится о том, что функция возвращает treeNode, выделенный в куче. Значит, кто-то в будущем должен будет позаботиться о его уничтожении (если мы не находимся в режиме компиляции с автоматической сборкой мусора, что может быть нужно для отладки или гарантии динамизма). При этом параметр parent также является ссылкой. alien говорит о том, что этот параметр не будет уничтожен нашей функцией. referenced говорит о том, что мы, возможно, создадим на него новую ссылку. Как минимум, это - автодокументация. Как максимум - подсказка компилятору. Я для своего пользования разработал несколько таких деклараций и пользуюсь ими на работе (пишу на Дельфи). Мой набор неполон, но вот он:

onStack - это вызов функции, которая гарантирует очистку объекта по выходе из кадра стеков. Поскольку это Дельфи, приходится использовать на стеке переменную variant, храняющую интерфейс (она автоматически освобождается при выходе из кадра стека, а на неё уже вешается всё остальное). При выходе из кадра вариант уничтожается (число ссылок равно нулю) и в деструкторе объекта происходит удаление объектов. В С++ это делается размещением экземпляра класса на стеке, хотя по-моему, в общем случае в С++ это тоже не так просто.

fresh - для возвращаемого значения или локальной переменной. Создали в области видимости и куда-то передаём (или возвращаем), после чего мы уже не отвечаем за удаление
my - для локальной переменной. Функция создаёт объект и удаляет его
alien - для параметра. Функция не берёт ответственности за удаление объекта.
eat - для параметра. Принимающая функция теперь отвечает за удаление
kill - для параметра функции. Не я создал, но я убъю до возврата из функции.
нет декларации - ничего не известно и нельзя судить о поведении функции в отношении удаления этого объекта.

Вот, видимо, этот набор не полон. Он, как минимум, не учитывает возможности включения объекта в подсчёт ссылок или сборку мусора, не рассматривает возможность существования объекта на стеке. Видимо, можно развить некую «алгебру» и получить полный набор таких деклараций. Он будет довольно сложным и не всегда однозначным, но он позволит, анализируя возможные пути исполнения, во многих случаях найти ошибки работы с памятью. Подобно тому, как сейчас компиляторы находят неинициализированные переменные, или неиспользованные присваивания значений.

Вряд ли получится полностью автоматизировать работу с памятью. Но это и вообще невозможно. Языки со сборкой мусора прекрасно рушатся, когда их прикомпоновывают к внешним библиотекам на С.

Вот. Написал и чувствую, что зря написал, т.к. у самого вопросов гораздо больше, чем ответов. Собственно,я хотел поделиться именно своими декларациями работы с памятью. Совершенно не нужно менять язык - ими можно пользоваться хоть сейчас. Например:

/*М fresh*/treeNode makeTreeNod(/*M alien referenced*/ treeNode parent);
по сути означает то же самое, но не проверяется компилятором. Или же

typedef treeNode fresh_treeNode;

или же
#define FRESH(x) x
#define ALIEN(x) x

FRESH(treeNode) makeTreeNode(FRESH(ALIEN(treeNode)) parent);

Я пользуюсь, мне нравится.

А, вот ещё одну фишку вспомнил, только не могу её сформулировать в виде С.
declare procedure foo returns (x int, y varchar(100)) as
begin
end
соответственно, foo.return_type должно быть именем записи с двумя полями x и y. Чтобы не придумывать ей имя. Маленькая фишка, но ИМХО полезная.

★★★★★

Ответ на: комментарий от www_linux_org_ru

> ненаучно в принципе, но полезно

Так быть не может. Если есть полезное (читай применяемое, а значит, его можно опровергнуть) знание, значит оно научно по определению. Проблемы формализации - это уже другое.

anonymous
()
Ответ на: комментарий от jtootf

> этой самой «теории догадок»? или вся научность заключается в наблюдении того нехитрого факта, что людей иногда озаряет?

Были попытки у Пойи - как решать задачи, у альтшутера - триз, например. Но насколько они результативны, черт его знает, многие говорят, что помогает.

anonymous
()
Ответ на: комментарий от jtootf

> а. хм. ну тогда у нас разные геологии, географии, биологии и химии. суть конфликта понятий не меняется

Ага, знание, что Лиссабон столица Португалии и как работает человеческое сердце - оно об окружающем мире, для существования и проверки адекватности (истинности) которого вообще не требуется математика.

anonymous
()
Ответ на: комментарий от jtootf

> можно пример верифицируемого и повторяемого результата в филологии (окромя лингвистических)?

Да самое простейшее, что пришло в голову, - для официально-делового стиля общения не характерно использование табуированной лексики и сленга. Это легко наблюдать - в мильёнах документов мы вряд ли найдем хотя бы десяток со словами «х..й», «п..зда» и «б..ядь».

anonymous
()
Ответ на: комментарий от anonymous

>> ненаучно в принципе, но полезно

Так быть не может. Если есть полезное (читай применяемое, а значит, его можно опровергнуть) знание, значит оно научно по определению. Проблемы формализации - это уже другое.

может. я об этом уже писал.

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от jtootf

> у нас, видимо, какие-то разные физики. можно пример области, в которой физика на 90% оперирует подобными описаниями?

НЕ как в физике.

только в связке с нейробиологией :)

ну-ну. Считать, что психология не верифицируема - это очень ограниченный взгляд на вещи, с чем вас и поздравляю :) Ты вообще в курсе, что психология - это опытная наука? И просто так вякнуть без доказательств своей правоты экспериментально не получится? Вот тебе примеры известных повторяемых и верифицируемых экспериментов - http://ru.wikipedia.org/wiki/%D0%A1%D0%BF%D0%B8%D1%81%D0%BE%D0%BA_%D0%BA%D0%B...

anonymous
()
Ответ на: комментарий от jtootf

> и как пользоваться этим критерием в филологии и философии?

Так же, как и везде - сравнивать, что предсказывает теория, с тем, что получается на практике.

anonymous
()
Ответ на: комментарий от anonymous

> Были попытки у Пойи - как решать задачи, у альтшутера - триз, например. Но насколько они результативны, черт его знает, многие говорят, что помогает.

пойа не столько делал свои «попытки», сколько слегка популяризовал и рассказал часть методологии математики, изобретенную вовсе не им

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от anonymous

Это легко наблюдать

для того, чтобы это пронаблюдать, надо для начала составить репрезентативную выборку ;)

jtootf ★★★★★
()
Ответ на: комментарий от anonymous

Считать, что психология не верифицируема

не надо передёргивать, такого я не говорил. если трактовать цель психологии по аналогии с физикой как предсказание поведения человека с некоторой допустимой точностью, то по сегодняшний день как наука она продвинулась не слишком далеко. и комментарий касательно нейробиологии относится именно к этому аспекту - психология должна включать как рассмотрение макроэффектов (поведение), так и микроэффектов (состояния нервной системы человека, повлекшие это поведение). тогда во-первых, её можно будет считать полноценной наукой; во-вторых, можно ожидать сколько-нибудь серьёзных продвижений в смысле обозначенной цели

впрочем, цель психологии я трактую сугубо субъективно, исходя их собственных соображений о полезности той или иной деятельности - предыдущий абзац просто проясняет мою позицию

jtootf ★★★★★
()
Ответ на: комментарий от anonymous

Так же, как и везде - сравнивать, что предсказывает теория, с тем, что получается на практике.

примеры, примеры. какие выводы, полученные в теории филологии или философии, проверяются на практике? что это за практика?

jtootf ★★★★★
()
Ответ на: комментарий от jtootf

Есть мнение, что микроэффекты в психологии имеют квантовый характер, и требовать их точного рассмотрения так же нечестно, как и требовать от физика включить в квантовую механику предсказания поведения отдельного электрона.

eugine_kosenko ★★★
()
Ответ на: комментарий от eugine_kosenko

Более того, есть гипотеза, что и макроэффекты в психологии несут принципиальную неопределенность, обусловленную теми же философскими соображениями, что и в квантовой механике, но несводимыми к последней.

eugine_kosenko ★★★
()
Ответ на: комментарий от jtootf

На эту тему советую почитать работы Лорена Грэхема, например, «Наука и философия в Советском Союзе», Naming Infinity и другие.

eugine_kosenko ★★★
()
Ответ на: комментарий от eugine_kosenko

Точнее, «Естествознание, философия и науки о человеческом поведении в Советском Союзе» Грэхема.

eugine_kosenko ★★★
()
Ответ на: комментарий от jtootf

В свое время проблема актуализации бесконечности и теория монад позволила Лейбницу создать более эффективное исчисление бесконечно малых, чем у Ньютона.

eugine_kosenko ★★★
()
Ответ на: комментарий от eugine_kosenko

И только через 300 лет формализация этого исчисления привела и открытию нескольких фундаментальных теорем в математической логике и возникновению нестандартного математического анализа.

eugine_kosenko ★★★
()
Ответ на: комментарий от eugine_kosenko

Кстати, сам Ньютон строил свое исчисление, руководствуясь философским учением флексий и флюэнций о всеобщем характере движения материи.

eugine_kosenko ★★★
()
Ответ на: комментарий от jtootf

> можно пример верифицируемого и повторяемого результата в филологии (окромя лингвистических)?

Вестник МГУ. Серия 9. Филология. Весь к твоим услугам. ;)

LamerOk ★★★★★
()
Ответ на: комментарий от jtootf

> какие выводы, полученные в теории филологии или философии, проверяются на практике? что это за практика?

Не всякое познание мира связано с практикой. И даже не всякое познание связано с опытом. Простейший пример - астрофизика. Кроме того, теоретические и «бесполезные» знания имеют обыкновение внезапно становиться довольно прикладными. Правда, иногда через много-много лет после своего появления. ))

LamerOk ★★★★★
()
Ответ на: комментарий от LamerOk

>В этом месте все историки, филологи, социологи, а также примкнувшие к ним географы, химики, геологи, биологи собираются все вместе и ... ну ты понял. ;))

Неужели не понятно, что «филология, ..., история» не есть наука? Что бы там некоторые филологи и историки не утверждали (все хотят себе приписать «доктор наук» к имени, ага)

Waterlaz ★★★★★
()
Ответ на: комментарий от Waterlaz

> Неужели не понятно, что «филология, ..., история» не есть наука?

Не, не понятно. Это не науки только в головах ограниченных технобыдлофашистов.

anonymous
()
Ответ на: комментарий от anonymous

>ну-ну. Считать, что психология не верифицируема - это очень ограниченный взгляд на вещи, с чем вас и поздравляю :) Ты вообще в курсе, что психология - это опытная наука? И просто так вякнуть без доказательств своей правоты экспериментально не получится?

Однако психология полна такой ереси, как фрейдовский психоанализ. Не верифицируемо и ненаучно.

Waterlaz ★★★★★
()
Ответ на: комментарий от eugine_kosenko

>Есть мнение, что микроэффекты в психологии имеют квантовый характер, и требовать их точного рассмотрения так же нечестно, как и требовать от физика включить в квантовую механику предсказания поведения отдельного электрона.

=) Глупости пишешь. Сказать, что координата электрона будут с таким-то распределением вероятности - значит «абсолютно точно» описать его поведение в рамках нашей модели.

Waterlaz ★★★★★
()
Ответ на: комментарий от eugine_kosenko

>Более того, есть гипотеза, что и макроэффекты в психологии несут принципиальную неопределенность, обусловленную теми же философскими соображениями, что и в квантовой механике, но несводимыми к последней.

Ну так отлично. Значит можно строить верятностную модель поведения. А если нельзя, то нет тогда у этой «науки» вообще никаких объективных результатов и это и вовсе не наука.

Даже если строятся выводы типа «Если поциент ест какашки, то лучше всего лечить электрошоком» - уже какой-то вероятностный результат.

Waterlaz ★★★★★
()
Ответ на: комментарий от anonymous

>Не, не понятно. Это не науки только в головах ограниченных технобыдлофашистов.

Откуда такое всеобщее желание записать себя в науку? Не иначе ЧСВ себе историки тешат.

Waterlaz ★★★★★
()
Ответ на: комментарий от anonymous

Тут за частую дело даже не в технофашизме, а в элементарной ограниченности знаний и зашоренности мышления.

LamerOk ★★★★★
()
Ответ на: комментарий от Waterlaz

> Однако психология полна такой ереси, как фрейдовский психоанализ. Не верифицируемо и ненаучно.

Это ты, конечно, прочитал в википедии, самого фрейда естественно не читал, и чем он занимался даже близко не понимаешь и не знаешь. То, что его метод и его теория позволила вылечить множество больных, которых до этого вылечить были не способны вообще никак - это все фигня, главное, что поппер в своей дурацкой статье написал (зы - чем больше я читаю поппера, тем большим он мне кажется лунатиком).

anonymous
()
Ответ на: комментарий от Waterlaz

> Откуда такое всеобщее желание записать себя в науку? Не иначе ЧСВ себе историки тешат.

История - да, тоже наука. Очень интересная, кстати. Там получаются результаты, которые о-боже можно проверить и перепроверить тыщами способов.

anonymous
()
Ответ на: комментарий от eugine_kosenko

Есть мнение, что микроэффекты в психологии имеют квантовый характер

мнения мало, нужны доказательства

Более того, есть гипотеза, что и макроэффекты в психологии несут принципиальную неопределенность, обусловленную теми же философскими соображениями, что и в квантовой механике, но несводимыми к последней.

неопределённость в квантовой механике обусловлена вполне математическими эффектами, имеющими слабое отношение к филососфии

На эту тему советую почитать работы Лорена Грэхема

почитаю, спасибо

В свое время проблема актуализации бесконечности и теория монад позволила Лейбницу создать более эффективное исчисление бесконечно малых, чем у Ньютона.

во времена Ньютона и Лейбница филососфия ещё была наукой; да и, в любом случае, формализация теории инфинитезмального исчисления всё равно была выполнена сугубо математически. какая разница, что представляет из себя монада, если она строго описана в виде облака инфинитезмалов на R*?

И только через 300 лет формализация этого исчисления привела и открытию нескольких фундаментальных теорем в математической логике и возникновению нестандартного математического анализа.

что за теоремы?

Кстати, сам Ньютон строил свое исчисление, руководствуясь философским учением флексий и флюэнций о всеобщем характере движения материи.

время такое было. уже лет 100-150, как в этом нет необходимости. о чём, собственно, и речь

jtootf ★★★★★
()
Ответ на: комментарий от LamerOk

И это пишет человек, утверждающий, что философия и филология руководствуются научным методом?


Пиздец, чувствую - посижу на лоре, узнаю, что утверждение «уринотерапия - не медицина» есть следствие ограниченности знаний и зашоренности мышления.

Love5an
()
Ответ на: комментарий от LamerOk

Вестник МГУ. Серия 9. Филология. Весь к твоим услугам. ;)

а можно хоть что-нибудь процитировать оттуда?

Не всякое познание мира связано с практикой. И даже не всякое познание связано с опытом. Простейший пример - астрофизика

и что не так с астрофизикой? за исключением гипотетических и ненаблюдаемых объектов (типа излучения Хокинга) там всё замечательно проверяется (а иногда и опровергается) практикой. пример - bullet cluster и тёмная материя

Кроме того, теоретические и «бесполезные» знания имеют обыкновение внезапно становиться довольно прикладными

слабый аргумент, который очень любят фрики от науки - сегодня-де нас никто не понимает, зато лет через сто мир просто-таки содрогнётся от наших идей. по существу это, как правило, скрывает банальное невежество

jtootf ★★★★★
()
Ответ на: комментарий от anonymous

Это ты, конечно, прочитал в википедии, самого фрейда естественно не читал, и чем он занимался даже близко не понимаешь и не знаешь

я читал

То, что его метод и его теория позволила вылечить множество больных, которых до этого вылечить были не способны вообще никак

а можно доказательства этого факта?

jtootf ★★★★★
()
Ответ на: комментарий от jtootf

> а можно хоть что-нибудь процитировать оттуда?

Нет, у меня нет ни одного номера на руках. :(


и что не так с астрофизикой? за исключением гипотетических и ненаблюдаемых объектов (типа излучения Хокинга) там всё замечательно проверяется


Как много было поставлено опытов по запуску сверхновых звёзд? Как много было получено «чёрных дыр» в лабораторных условиях? ;)

слабый аргумент, который очень любят фрики от науки


Всё бы ничего, но большинство таких «операжающих время» теорий относятся к математике и физике ;)

LamerOk ★★★★★
()
Ответ на: комментарий от LamerOk

Как много было поставлено опытов по запуску сверхновых звёзд? Как много было получено «чёрных дыр» в лабораторных условиях? ;)

в случае астрофизики лабораторией выступает вся вселенная; наблюдения сверхновых и объектов, которые хорошо согласуются с теорией чёрных дыр (например, лебедь x-1) вполне себе проводились и проводятся

Всё бы ничего, но большинство таких «операжающих время» теорий относятся к математике и физике ;)

не большинство - просто в математике и физике подобных людей замечают и считают фриками, а в той же филососфии их хвалят назначают деканами факультетов :)

jtootf ★★★★★
()
Ответ на: комментарий от jtootf

> в случае астрофизики лабораторией выступает вся вселенная

Не-не-не. Не надо поменять понятия. Мы ведь не в состоянии сами поставить и произвести опыт таких масшатбов? А наблюдать - это все науки могут. Вплоть до психологии. ;))

LamerOk ★★★★★
()
Ответ на: комментарий от LamerOk

Не-не-не. Не надо поменять понятия

проблема в том, что астрофизические объекты в принципе нельзя перенести в лабораторию - в отличие от психологических

Мы ведь не в состоянии сами поставить и произвести опыт таких масшатбов?

но можем провести опыт, подтверждающий некоторые астрофизические теории - на ускорителе. правда, для полного соответствия придётся построить ускоритель размером с солнечную систему :(

jtootf ★★★★★
()
Ответ на: комментарий от LamerOk

>Не-не-не. Не надо поменять понятия. Мы ведь не в состоянии сами поставить и произвести опыт таких масшатбов? А наблюдать - это все науки могут. Вплоть до психологии. ;))

Это ты подменяешь пониятия. А именно «провести опыт» заменяешь на «умение провести опыт в ограниченом пространстве в любое время»

Waterlaz ★★★★★
()
Ответ на: комментарий от jtootf

> проблема в том, что астрофизические объекты в принципе нельзя перенести в лабораторию

Эта «проблема» касается доброй половины всех наук.

в отличие от психологических


Эмоции в колбочке? ;)

LamerOk ★★★★★
()
Ответ на: комментарий от Waterlaz

> А именно «провести опыт» заменяешь на «умение провести опыт в ограниченом пространстве в любое время»

Ну если ты можешь проводить опыты в безграничном пространстве - флаг тебе в руки. ))) Откуда взялось «любое время» я не понял, но не суть.

LamerOk ★★★★★
()
Ответ на: комментарий от jtootf

> во времена Ньютона и Лейбница филососфия ещё была наукой;

гы-гы-гы

скорее, тогда математика еще не была наукой, так как анализ не был формально обоснован, и можно было получить равенство 0=1 через общепризнанные операции с рядами

а насчет того, что философия науки — не наука, мягко сказано вот тут:

С другой стороны, критика постпозитивистов подорвала основы рациональной традиции в философии, фактически оставив рационалистическую философскую традицию без теории познания, и в настоящее время философия не имеет всеми разделяемых критериев научности, рациональности и не может противостоять разгулу псевдо- и лженаучных направлений.

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от www_linux_org_ru

> не может противостоять разгулу псевдо- и лженаучных направлений.
Нет науки. Есть ремесло, псевдонаука и лженаука. Поэтому нельзя отличить науку от лженауки. Космические корабли, компьютеры и атомная бомба - это ремесло. Чистых лженаук очень мало, потому что мало полных идиотов, которые поверили бы. В основном, мы имеем дело с псевдонауками, сочетающими часть науки и часть лженауки. Причём, лженаучная часть, как правило, располагается в области базовых постулатов.

den73 ★★★★★
() автор топика
Ответ на: комментарий от anonymous

>Нормальные прекомпилированные заголовки вообще невозможны, так как >результат компиляции зависит от окружения, то есть при включении из >разных файлов он может быть разным.
Я не вижу, почему нельзя инкапсулировать окружение. Получится N вариантов исходника, как бы кеш. Сделали вызов в новом окружении - получился новый вариант прекомпилированного хидера. Правда, ещё нужно отслеживать дерево зависимостей от других *.h, включённых в этот .h.

К тому же началом файла .h может быть конец выражения, начало которого находится в предыдущем файле.

А это можно запретить без очень большой потери (хотя потеря будет).

den73 ★★★★★
() автор топика
Ответ на: комментарий от LamerOk

>> А именно «провести опыт» заменяешь на «умение провести опыт в ограниченом пространстве в любое время»

Ну если ты можешь проводить опыты в безграничном пространстве - флаг тебе в руки. ))) Откуда взялось «любое время» я не понял, но не суть.

Я имел ввиду, что не в лаборатории и не в ангаре или на футбольном поле, а возможно и в рамках солнечной системы или галлактики.

Например, мы можем дождаться зарождения новой звезды и там фиксировать спектр излучения полученного при этом на Земле(мб тут меня тот, кто более в теме поправит). Нормальный же эксперимент. Но да в рамках комнаты да обязательно после завтрака мы провести его не можем, но сути не меняет. Опыт необязательно должен быть постановочным от и до.

Waterlaz ★★★★★
()
Ответ на: комментарий от Waterlaz

> Я имел ввиду, что не в лаборатории и не в ангаре или на футбольном поле, а возможно и в рамках солнечной системы или галлактики

Всё очень просто. Возможно всё, но не для всех. Ограничений много, например,
1. Финансовые возможности.
2. Организаторские возможности.
3. Интеллектуальные возможности
4. Длительность собственной жизни.
5. Ложь и ошибки предшественников, на которые опираешься при проведении эксперимента как на априори заданные истины.

Так что спите спокойно - Вселенная непознаваема. Слава Богам!

den73 ★★★★★
() автор топика
Ответ на: комментарий от Waterlaz

>Например, мы можем дождаться зарождения новой звезды и там фиксировать спектр излучения полученного при этом на Земле

Именно так и происходит. Наблюдают звёзды и галактики, обнаруживают новую или сверхновую и изучают всё, что только можно изучить. Для этого необязательно самим делать сверхновую звезду.

Также можно наблюдать отдалённые последствия вспышек сверхновых. Крабовидная тумманность появилась тысячелетие назад. И не надо учёному ждать 1000 лет, что бы узнать отдалённые последствия взрыва звезды, достаточно взглянуть на эту тумманость.

Это самая настоящая исследовательская деятельность с проведением опытов, но которые ставят не сами учёные.

anonymous
()
Ответ на: комментарий от Waterlaz

> Например, мы можем дождаться ... Нормальный же эксперимент.

Нужной массы в нужном месте и в нужное время?

Опыт необязательно должен быть постановочным от и до.


А никто и не говорит, что опыт обязан быть рукотворным. Но он обязан быть тем опытом, который мы хотим, а не тем, который нам подвернулся. Так что не надо тут дешевой софистики - либо мы в силах провести опыт, либо нет.

В случае с астрофизикой - нет.

LamerOk ★★★★★
()
Ответ на: комментарий от jtootf

>объектов, которые хорошо согласуются с теорией чёрных дыр

Это не объект согласуется с теорией, а теория согласуется с объектом. «Чёрные дыры» - следствие сомнительных теорий Эйнштейна. Некоторые фанатики ОТО и СТО даже рисуют чёрные дыры в разрезе, не догадываясь об абсурдности таких картинок с точки зрения их любимых СТО и ОТО.

anonymous
()
Ответ на: комментарий от anonymous

> Это самая настоящая исследовательская деятельность по изучению окружающего мира без участия каких бы то ни было опытов.

Очевидный фикс.

LamerOk ★★★★★
()
Ответ на: комментарий от LamerOk

>Но он обязан быть тем опытом, который мы хотим, а не тем, который нам подвернулся.

Великие открытия и изобретения делались по ошибке именно благодаря тому опыту, который подвернулся, а не того, который хотели.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.