labels

Apr 29, 2005 1 Replies
G

Alex, ÔÙ Åݣ ÚÄÅÓØ ÓÉÄÉÛØ?


ðÑÔÎÉÃÁ áÐÒÅÌØ 29 2005 01:12, Alex Kouznetsov wrote to Kirill Frolov:

AK> óÏ×ÅÒÛÅÎÎÏ ×ÅÒÎÏ. åÓÔØ ÓÌÕÞÁÉ, ËÏÇÄÁ ÉÓÐÏÌØÚÏ×ÁÎÉÅ ÍÅÔÏË ×ÍÅÓÔÏ $ AK> ÎÅÏÐÒÁ×ÄÁÎÎÏ. HÁÐÒÉÍÅÒ, ÅÓÌÉ Ñ ÈÏÞÕ ×ÓÔÁ×ÉÔØ ÎÅÂÏÌØÛÕÀ ÚÁÄÅÒÖËÕ × AK> ÐÒÏÇÒÁÍÍÕ ÎÁ PIC, ÔÏ ×ÍÅÓÔÏ ËÕÞÉ NOP-Ï× ÇÏÒÁÚÄÏ ËÏÍÐÁËÔÎÅÅ ÂÕÄÅÔ AK> ÃÅÐÏÞËÁ GOTO



AK> GOTO $+1 AK> GOTO $+1 AK> GOTO $+1



AK> éÓÐÏÌØÚÏ×ÁÔØ ÍÅÔËÉ × ÜÔÏÍ ÓÌÕÞÁÅ ÓÏ×ÅÒÛÅÎÎÏ ÂÅÓÓÍÙÓÌÅÎÎÏ



÷ ÜÔÏÍ ÓÌÕÞÁÅ ÏÓÍÙÓÌÅÎÎÏ ÉÓÐÏÌØÚÏ×ÁÔØ ÍÁËÒÏÓÙ. ÷ÙÇÌÑÄÅÔØ ÂÕÄÅÔ ËÕÄÁ ÂÏÌÅÅ ÎÁÇÌÑÄÎÏ:

Wait_2cycles Wait_2cycles Wait_2cycles


AK> ë ÓÏÖÁÌÅÎÉÀ, ÔÙ ÎÅ ÓÏ×ÓÅÍ ÐÒÁ×. óÔÏÉÔ ÚÁÍÅÔÉÔÉÔØ, ÞÔÏ Ô×ÏÅ AK> ×ÙÓËÁÚÙ×ÁÎÉÅ ÔÁË ÉÌÉ ÉÎÁÞÅ ÓÁÍÏ ÂÁÚÉÒÕÅÔÓÑ ÎÁ ×ÅÒÅ. åÓÔØ ÔÅÏÒÅÍÁ AK> çÅÄÅÌÑ Ï ÎÅÐÏÌÎÏÔÅ ÆÏÒÍÁÌØÎÙÈ ÓÉÓÔÅÍ. éÚ ÎÅÅ ÓÌÅÄÕÅÔ, ÞÔÏ (ÐÒÉÎÑÔÙÅ ÎÁ AK> ×ÅÒÕ) ÐÏÓÔÕÌÁÔÙ É ÁËÓÉÏÍÙ ÌÅÖÁÔ × ÏÓÎÏ×Å ÏÓÎÏ× ÌÀÂÙÈ ÔÅÏÒÉÊ, ÚÎÁÎÉÊ, AK> ÍÎÅÎÉÊ É Ô.Ð. AK> äÒÕÇÏÅ ÄÅÌÏ, ÞÔÏ ËÏÌÉÞÅÓÔ×Ï ÔÁËÉÈ ÐÏÓÔÕÌÁÔÏ× ÄÏÌÖÎÏ ÂÙÔØ Ó×ÅÄÅÎÏ Ë AK> ÍÉÎÉÍÕÍÕ × ÓÏÏÔ×ÅÔÓÔ×ÉÉ Ó ÂÒÉÔ×ÏÊ ïËËÁÍÁ: "ÎÅÌØÚÑ ××ÏÄÉÔØ ÌÉÛÎÉÈ AK> ÓÕÝÎÏÓÔÅÊ" (Ó) ó ÜÔÏÊ ÔÏÞËÉ ÚÒÅÎÉÑ ÎÅËÏÔÏÒÙÅ ×ÙÓËÁÚÙ×ÁÎÉÑ GS ×ÅÓØÍÁ AK> ÕÑÚ×ÉÍÙ ÄÌÑ ËÒÉÔÉËÉ: ×ÙÓËÁÚÁÎÎÙÅ ÂÅÚÁÐÅÌÌÑÃÉÏÎÎÙÍ ÔÏÎÏÍ, ÂÅÚ ÏÇÏ×ÏÒÏË AK> É ÄÏËÁÚÁÔÅÌØÓÔ×, ÏÎÉ ÄÅÊÓÔ×ÉÔÅÌØÎÏ ÐÒÏÉÚ×ÏÄÑÔ ×ÐÅÞÁÔÌÅÎÉÅ ÐÒÏÉÚ×ÏÌØÎÙÈ AK> ÓÕÝÎÏÓÔÅÊ, ËÏÔÏÒÙÅ ÓÌÅÄÅÔ ÏÔÂÒÏÓÉÔØ ÚÁ ÎÅÎÁÄÏÂÎÏÓÔØÀ.



üÔÏ ÁËÓÉÏÍÙ. á ÁËÓÉÏÍÙ ÎÅ ÔÒÅÂÕÀÔ ÄÏËÁÚÁÔÅÌØÓÔ×Á. íÏÖÎÏ ÐÏÌØÚÏ×ÁÔØÓÑ ÄÒÕÇÏÊ ÁËÓÉÏÍÁÔÉËÏÊ (× ÍÁÔÅÍÁÔÉËÅ ÜÔÏ ÎÅ ÎÏ×Ï), ÎÏ ÐÏÔÏÍ ÎÅ ÎÕÖÎÏ ÕÄÉ×ÌÑÔØÓÑ, ÅÓÌÉ ÒÅÚÕÌØÔÁÔÙ ÏËÁÖÕÔÓÑ ÐÅÞÁÌØÎÙÍÉ...


çÅÏÒÇÉÊ


Vote
Twitter Facebook LinkedIn
A

Sat Apr 30 2005 01:29, George Shepelev wrote to Alex Kouznetsov:

AK>> Совершенно верно. Есть случаи, когда использование меток вместо $ AK>> неоправданно. Hапример, если я хочу вставить небольшую задержку в AK>> программу на PIC, то вместо кучи NOP-ов гораздо компактнее будет AK>> цепочка GOTO

AK>> GOTO $+1 AK>> GOTO $+1 AK>> GOTO $+1

AK>> Использовать метки в этом случае совершенно бессмысленно

GS> В этом случае осмысленно использовать макросы. Выглядеть будет куда GS> более наглядно:

GS> Wait_2cycles GS> Wait_2cycles GS> Wait_2cycles

Кстати, в макросах использование $ более чем оправданно.

AK>> Есть теорема AK>> Геделя о неполноте формальных систем. Из нее следует, что (принятые на AK>> веру) постулаты и аксиомы лежат в основе основ любых теорий, знаний, AK>> мнений и т.п. AK>> Другое дело, что количество таких постулатов должно быть сведено к AK>> минимуму в соответствии с бритвой Оккама: "нельзя вводить лишних AK>> сущностей" (с) С этой точки зрения некоторые высказывания GS весьма AK>> уязвимы для критики: высказанные безапелляционным тоном, без оговорок AK>> и доказательств, они действительно производят впечатление произвольных AK>> сущностей, которые следет отбросить за ненадобностью.

GS> Это аксиомы. А аксиомы не требуют доказательства. Можно пользоваться GS> другой аксиоматикой (в математике это не ново), но потом не нужно GS> удивляться, если результаты окажутся печальными...

Речь шла о том, что аксиом должно быть как можно меньше. В соответствии с бритвой Оккама, не следует вводить "второстепенные" аксиомы там, где можно получить нужные положения в виде теорем, выведенных их минимального кол-ва фундаментальных аксиом.

Пока, Алексей

Vote
Twitter Facebook LinkedIn

Join the Discussion

Have something to add? Share your thoughts — no account required.

Didn't find your answer?

Ask the community — no account required