Article View: pl.comp.programming
Article #216620Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa?
From: godek.maciek
Date: Thu, 02 Jan 2020 11:36
Date: Thu, 02 Jan 2020 11:36
27 lines
2749 bytes
2749 bytes
W dniu środa, 1 stycznia 2020 23:25:50 UTC+1 użytkownik Maciej Sobczak napisał: > > > W temacie eksploracji zagadnień matematycznych Wolfram nie ma merytorycznej konkurencji. > > > > Polimeryzowałbym. > > Super, noworoczne otwarcie. :-) > > > 1. Jest droga. > > Przecież pisałem o merytorycznej konkurencji. > > I oczywiście zależy co to znaczy "droga". Są programy, przy zakupie których Mathematica ginie w finansowym szumie. > > > 2. Nie potrafi tego co MISAR. Ok, MISAR to zupełnie inna półka. > > Choć niewątpliwie matematyka. > > https://en.wikipedia.org/wiki/Misar > > Poproszę o dalsze wskazówki. To jest tak inna półka, że nawet tej półki nie znalazłem. Na ile mogę się domyślić, chodzi o projekt MIZAR, zapoczątkowany przez Andrzeja Trybulca z Białegostoku. http://mizar.org/ Projekt podobny np. do Coq albo systemu LCF Robina Milnera (dla którego powstał język ML). W niektórych kręgach notacja Mizara jest popularną notacją do formalizacji dowodów matematycznych
Technical Details
Message-ID:
<2d3d1975-d28b-45fc-bb7d-aec76c0bbddf@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news.samoylyk.net!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!g89no5458292qtd.0!news-out.google.com!w29ni446qtc.0!nntp.google.com!g89no5458287qtd.0!postnews.google.com!google-groups.googlegroups.com!not-for-mailReferences:
<ed31de14-90d3-405e-96e3-a82fcc32b9cc@googlegroups.com> <f7034d01-5d38-40c6-8342-c911e426a20d@googlegroups.com> <72e58de1-0684-4e65-8e2e-9fb4edbb9172@googlegroups.com> <1796d3fc-8036-488e-8346-c5073aab2b5d@googlegroups.com> <a0f802d0-fb07-43d9-9d76-9ea33f556ed9@googlegroups.com> <d2cf63a5-4776-439f-a5a7-c028764e6b33@googlegroups.com> <qufmb7$h9v$1@news.icm.edu.pl> <60aefea6-782c-42c7-9909-96f005d65b51@googlegroups.com>Show Full Headers
Complete Article Headers
X-Received: by 2002:ad4:498d:: with SMTP id t13mr60507799qvx.58.1577964962872; Thu, 02 Jan 2020 03:36:02 -0800 (PST) X-Received: by 2002:a37:2e43:: with SMTP id u64mr61226692qkh.387.1577964962667; Thu, 02 Jan 2020 03:36:02 -0800 (PST) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news.samoylyk.net!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!g89no5458292qtd.0!news-out.google.com!w29ni446qtc.0!nntp.google.com!g89no5458287qtd.0!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: pl.comp.programming Date: Thu, 2 Jan 2020 03:36:02 -0800 (PST) In-Reply-To: <60aefea6-782c-42c7-9909-96f005d65b51@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=83.25.229.148; posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r NNTP-Posting-Host: 83.25.229.148 References: <ed31de14-90d3-405e-96e3-a82fcc32b9cc@googlegroups.com> <f7034d01-5d38-40c6-8342-c911e426a20d@googlegroups.com> <72e58de1-0684-4e65-8e2e-9fb4edbb9172@googlegroups.com> <1796d3fc-8036-488e-8346-c5073aab2b5d@googlegroups.com> <a0f802d0-fb07-43d9-9d76-9ea33f556ed9@googlegroups.com> <d2cf63a5-4776-439f-a5a7-c028764e6b33@googlegroups.com> <qufmb7$h9v$1@news.icm.edu.pl> <60aefea6-782c-42c7-9909-96f005d65b51@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <2d3d1975-d28b-45fc-bb7d-aec76c0bbddf@googlegroups.com> Subject: Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? From: godek.maciek@gmail.com Injection-Date: Thu, 02 Jan 2020 11:36:02 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit