Re: [OFF-OFF-OFF-TOPIC] Padronização de linguagem humana - lojban
É tarde da noite, e isso é tremendamente off-topic, mas ainda dá para dizer que existem duas formas de interpretar a expressão uma linguagem lógica. Uma delas é essa que todo mundo entendeu: tem lógica, é capaz de expressar pensamentos de bom senso. Outra forma é a seguinte: desde o começo do século, muitos filósofos e lógicos têm notado que as línguas que as pessoas falam -- as chamadas linguagens naturais -- têm muitas inconsistências e imprecisões, insuficientes para expressar a matemática. Por isso é que os filósofos e lógicos do começo do século partiram numa cruzada para identificar esses problemas e criar uma linguagem que pudesse ser mais precisa que a linguagem natural. E saiu uma notação que as pessoas chamavam de lógica matemática -- por oposição à lógica filosófica. Era algo semelhante àquele A de ponta cabeça (ou qualquer), ou àquele E que foi virado para a direita (ou existe) que usamos em matemática. Sem falar no implica e em outros menos votados. Essa festa durou pouco, pois logo surgiu um tal de Gödel que acabou com a brincadeira. Mas aí já é outra história, off topic demais. Até para este thread. :-D Basta dizer que muito do que a gente programa se deve a esses radicais, que queriam mudar a linguagem natural para esse negócio matemático. Muito da própria noção de computador se deve a esses caras. Talvez o que o pessoal do Lojban esteja querendo fazer é evitar as imprecisões e inconsistências da linguagem natural. Isso o Lalo pode responder para a lista. Mas rápido, antes que o pessoal da moderação peça para esse thread ir para outra lista. :-) []s, Hilton --- Usuario Universo Online [EMAIL PROTECTED] wrote: Mensagem anterior No dia 6/27/01, 7:37:24 PM, Lalo Martins [EMAIL PROTECTED] escreveu o seguinte sobre o tema [OFF-OFF-TOPIC] Padronização de linguagem humana - lojban: On Wed, Jun 27, 2001 at 02:15:15AM -0300, Lalo Martins wrote: http://www.lojban.org/ Tá, é (até certo ponto) off-topic... mas agora eu tou pensando que pode ser um off-topic interessante. Mais alguém aqui além de mim já deu uma olhada nisso? Eu tou tentando aprendê-la pela primeira vez, se alguém quiser se aventurar junto... Eu dei uma olhada, mas confesso o seguinte: em cinco minutos de olhadela numa página de esperanto, já fui capaz de entender de que se tratava, e rudimentos de como se fazia. A página da lojban, entretanto, me parece exigir a mesma dedicção do que para uma outra língua qualquer. Não achei fácil, não achei intuitivo, achei cheio de regras. São 600 regras gramaticais, não? *** A lojban é uma linguagem lógica, onde a maior parte das frases tem a mesma estrutura de uma chamada de função - você faz uma afirmação de uma ligação (selbri) entre alguns argumentos (sumti). Por exemplo: Concordo com a afirmação de oura pessoa aqui na lista: toda linguagem é lógica, tem lógica. Do contrário não seria um sistema estruturado que possibilitasse a comunicação. Seria ruído. A questão é: parece que esperanto demora menos tempo para aprender do que lojban. Portanto, a questão da facilidade...Esperanto, até certo ponto pegou: tem dois milhões de falantes no mundo. É pouco, mas lota um restaurante... [ ]s Henry -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED] __ Do You Yahoo!? Get personalized email addresses from Yahoo! Mail http://personal.mail.yahoo.com/
Re: Reiserfs pra windows
On Thu, Jun 28, 2001 at 04:30:04PM -0300, Gustavo Noronha Silva wrote: Em Thu, 28 Jun 2001 11:25:31 -0300 Carlos Laviola [EMAIL PROTECTED] escreveu: de mp3 num partição FAT32, mas pelo menos assim eu posso acessar dos 2 sistemas... :\ Também odeio ver um monte de mp3 marcada como executável no Linux, mas é a vida... (Ou o Windows suporta algum outro FS nativamente?) eu tenho uma sugestão muito boa, coloquem seus mp3 numa ext2 e apaguem o windows do hd... fiz isso aqui em casa e tá muito bom =) aliás... Que fica bom eu não tenho dúvida, eu só quero saber se eu vou poder mexer na máquina denovo alguma vez na vida depois que o meu pai ver que eu apaguei o Windows dele... Ai de mim. PS. Não que isso importe a qualquer um, mas eu só uso a partição VFAT do meu HD pra armazenamento de dados mesmo. -- _ _ _| _ _ | _ . _ | _ carlos.debian.net Debian-BR Project (_(_|| |(_)_) |(_|\/|(_)|(_| uin#: 981913 (icq) debian-br.sf.net Linux: the choice of a GNU generation - Registered Linux User #103594
Re: RES: Problemas a instalar pacotes rpm
De: Antonio Alberto Lobato [mailto:[EMAIL PROTECTED] Tentei fazer isso com o netscape-navigator + netscape-common , mas depois de rodado dpkg -i para os dois, e tentar dar nescape, recebo a messagem: package not installed Eu acho que tem netscape na Debian. Basta seguir as instruções que aparecem na descrição do pacote, que consistem em copiar um determinado arquivo para um determinado diretório e rodar o instalador... mais seguro que converter o RPM. O nome do pacote é netscape-smotif-476 4.76-1 , e fica no non-free. -- _ / \ Leandro Guimarães Faria Corsetti Dutra +49 (211) 533 43 51 \ / Amdocs Deutschland, Düsseldorf +49 (211) 59 59 59 0 r 202 X http://geocities.com./lgdutra/mailto:[EMAIL PROTECTED] / \ Campanha fita ASCII contra correio HTML mailto:[EMAIL PROTECTED]
Pacote do postgresql 7.1.2
Sabem onde é que posso encontrar, se é que já existe, o pacote da debian para o postgresql, versão 7.1.2 ?? Obrigado Luis Sousa
Instalação de Themes no KDE e Enlightment.
Oi, Eu tirei da net uns themes para o KDE e para o Enlightment, mas na hora da verdade não os soube instalar. Alguem me pode ajudar ??? Obrigado -- Crie o seu Email Grátis no Clix em http://registo.clix.pt/
Re: MANIFESTO
/\ \ / Campanha da fita ASCII - contra mail html X ASCII ribbon campaign - against html mail / \ On Thu, 28 Jun 2001, Rodrigo Gruppelli wrote: eu considero o Mandrake a melhor distribuicao de linux baseada em redhat.. ^^ Ah bom... ai, ateh tem razao de ser! :)
Re: Hurd
Em Thu, 28 Jun 2001 20:02:42 -0300 Raphael D Pereira [EMAIL PROTECTED] escreveu: Ele não usar apt??? sim... ele tem apt? mas no que isso influi na instalação? além do mais, da última vez que vi, hurd não tinha ppp, então você tem de por ele em rede com um GNU/Linux e fazer masq pra baixar com apt... []s! -- Gustavo Noronha Silva - kov http://www.metainfo.org/kov ** | .''`. | Debian GNU/Linux: http://www.debian.org| | : :' : | Debian BR...: http://debian-br.sourceforge.net | | `. `'` | Be Happy! Be FREE! | | `-| Think globally, act locally! | **
Re: Instalação de Themes no KDE e Enlightment.
Em Fri, 29 Jun 2001 09:20:35 GMT [EMAIL PROTECTED] [EMAIL PROTECTED] escreveu: Oi, Eu tirei da net uns themes para o KDE e para o Enlightment, mas na hora da verdade não os soube instalar. Alguem me pode ajudar ??? não sei nada sobre temas no KDE, no enlightenment você joga o arquivo no /usr/share/enlightenment e pronto =) isso se for .etheme, se for tar.gz você descompacta lá... []s! -- Gustavo Noronha Silva - kov http://www.metainfo.org/kov ** | .''`. | Debian GNU/Linux: http://www.debian.org| | : :' : | Debian BR...: http://debian-br.sourceforge.net | | `. `'` | Be Happy! Be FREE! | | `-| Think globally, act locally! | **
Re: Ambiente de desenvolvimento.
Em Fri, 29 Jun 2001 00:12:41 -0300 Raphael D Pereira [EMAIL PROTECTED] escreveu: Onde encontrou o emacs21? http://people.debian.org/~kov/sources.list =) -- Gustavo Noronha Silva - kov http://www.metainfo.org/kov ** | .''`. | Debian GNU/Linux: http://www.debian.org| | : :' : | Debian BR...: http://debian-br.sourceforge.net | | `. `'` | Be Happy! Be FREE! | | `-| Think globally, act locally! | **
Re: Reiserfs pra windows
Em Fri, 29 Jun 2001 00:39:26 -0300 Raphael D Pereira [EMAIL PROTECTED] escreveu: Com root pode SIM Com root vc pode TUDO!! Inclusive se você montar a partição com a opção ro oops... isso não... eu uso a minha /boot montada, sempre que vou instalar um deb com um kernel novo (que eu fiz com make-kpkg) eu tenho de remontar a /boot pra rw, senão ele dá erro dizendo que não consegue escrever... Conselho: Antes de afirmar algo numa lista, experimente =) []s! -- Gustavo Noronha Silva - kov http://www.metainfo.org/kov ** | .''`. | Debian GNU/Linux: http://www.debian.org| | : :' : | Debian BR...: http://debian-br.sourceforge.net | | `. `'` | Be Happy! Be FREE! | | `-| Think globally, act locally! | **
Hardware novo - Motherboard
Sires, Ladies, Há algum tempo atrás foi lançado aqui um questionamento sobre qual motherboard teria o maior grau de compatibilidade para uma estaçào de trabalho linux. Bem... depois de muito fuçar no net por relatos de compatibilidade e sites que fazem entrega dos 'Esteites' pra cá, etc e tal, cheguei a conclusão que a melhor Mobo que pode ser comprada hoje para este fim são as: ASUS CUSL-2 socket 370, baseadas no chipset Intel 815. que podem ser equipadas com 1 chip Celerom 800Mhz/ bus-100Mhz ou com outros Pentium III / bus- 133Mhz. Merece atenção (dos maníacos por hardware) também a ASUS A7M266 DDR, socket A, baseadas no chipset AMD-761. Contudo não existe indicação mais fundamentada sobre problemas de instalação e uso do linux nesta board. Falow! Luis Cleber. = This is your life... and Y're spending it one minute at a time... Tyler Durden. ___ Yahoo! GeoCities Tenha seu lugar na Web. Construa hoje mesmo sua home page no Yahoo! GeoCites. É fácil e grátis! http://br.geocities.yahoo.com/
Re: Ambiente de desenvolvimento.
On Fri, 29 Jun 2001 13:23:44 -0300 Gustavo Noronha Silva [EMAIL PROTECTED] wrote: Em Fri, 29 Jun 2001 00:12:41 -0300 Raphael D Pereira [EMAIL PROTECTED] escreveu: Onde encontrou o emacs21? http://people.debian.org/~kov/sources.list O pacote que tem lá é para potato ou para woody? =) -- Gustavo Noronha Silva - kov http://www.metainfo.org/kov ** | .''`. | Debian GNU/Linux: http://www.debian.org| | : :' : | Debian BR...: http://debian-br.sourceforge.net | | `. `'` | Be Happy! Be FREE! | | `-| Think globally, act locally! | ** -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED] -- == Universidade Federal do Paraná Departamento de Física Fabiano Manoel de Andrade Fone:673-2068/673-1487 ==
Re: Instalação de Themes no KDE e Enlightment.
Andreia, no KDE voce entra no Control Center - Look Feel - Theme Maneger ai vc pede pra ele adicionar o thema,... clicando em ADD e mostrando pra ele onde ta o Thema que vc baixou,... =§§ § Luciano Lopes§ §Linux User Nº 125718§ § ICQ UIN 9183461 § § Porto Alegre - RS § ==
Re: MANIFESTO
Alguns novatos não são novatos apenas no Linux. Eles são novatos no uso de listas. Alguns novatos não são novatos apenas no Linux. Eles são novatos no desenvolvimento cooperativo. Eles se comportam como se a lista tivesse um dono e reclamam como se estivessem diante de um serviço de atendimento ao cliente, ou... diante do pai. Demora um tempo até o sujeito se perceber responsável pelas coisas e de que é um igual. Os novatos no desenvolvimento cooperativo imaginam pedestais, tão usuais em ambiente como familia, escola, política, empresa, etc , e tranferem para o ambiente cooperativo suas angústias de oprimido. Colocam suas armaduras e saem atacando moinhos de vento. Odair
Re: Hurd
On Fri 29 Jun 2001 13:22, Gustavo Noronha Silva wrote: Em Thu, 28 Jun 2001 20:02:42 -0300 Raphael D Pereira [EMAIL PROTECTED] escreveu: Ele não usar apt??? sim... ele tem apt? mas no que isso influi na instalação? além do mais, da última vez que vi, hurd não tinha ppp, então você tem de por ele em rede com um GNU/Linux e fazer masq pra baixar com apt... Ops, outra mancada... Eu pensei que ele não tinha apt, por isso que não dava pra instalar pela rede. Mas de Hurd eu não conheço... uma pena, pq gostaria muito... -- Raphael DephiNit Pereira -=-*-=-*-=- [EMAIL PROTECTED] -=-*-=-*-=- Debian GNU/Linux Addicted User Use it, Abuse it. It's Free!!!
Re: Reiserfs pra windows
On Fri 29 Jun 2001 13:24, Gustavo Noronha Silva wrote: Em Fri, 29 Jun 2001 00:39:26 -0300 Raphael D Pereira [EMAIL PROTECTED] escreveu: Com root pode SIM Com root vc pode TUDO!! Inclusive se você montar a partição com a opção ro oops... isso não... eu uso a minha /boot montada, sempre que vou instalar um deb com um kernel novo (que eu fiz com make-kpkg) eu tenho de remontar a /boot pra rw, senão ele dá erro dizendo que não consegue escrever... Bem, então tem algum pau com a FAT, porque eu remontei a FAT com ro e ele deixou eu detonar tudo!!! (Sempre é bom detonar um pouco do rWinblows!) :) Conselho: Antes de afirmar algo numa lista, experimente =) Faça o que digo, mas não faça o que eu faço Autor Desconhecido -- Raphael DephiNit Pereira -=-*-=-*-=- [EMAIL PROTECTED] -=-*-=-*-=- Debian GNU/Linux Addicted User Use it, Abuse it. It's Free!!!
Re: Ambiente de desenvolvimento.
Em Fri, 29 Jun 2001 13:50:48 -0300 Fabiano Manoel de Andrade [EMAIL PROTECTED] escreveu: O pacote que tem lá é para potato ou para woody? unstable... deve funcionar no woody []s! -- Gustavo Noronha Silva - kov http://www.metainfo.org/kov ** | .''`. | Debian GNU/Linux: http://www.debian.org| | : :' : | Debian BR...: http://debian-br.sourceforge.net | | `. `'` | Be Happy! Be FREE! | | `-| Think globally, act locally! | **
Re: Reiserfs pra windows
Em Fri, 29 Jun 2001 16:09:46 -0300 Raphael D Pereira [EMAIL PROTECTED] escreveu: Bem, então tem algum pau com a FAT, porque eu remontei a FAT com ro e ele deixou eu detonar tudo!!! (Sempre é bom detonar um pouco do rWinblows!) [EMAIL PROTECTED]/] # cd /tmp [EMAIL PROTECTED]/tmp] # dd if=/dev/zero of=teste.vfat count=12000 12000+0 registros de entrada 12000+0 registros de saída [EMAIL PROTECTED]/tmp] # mkdir teste [EMAIL PROTECTED]/tmp] # su Password: [EMAIL PROTECTED]/] # cd /tmp [EMAIL PROTECTED]/tmp] # mount -t vfat -o loop,ro teste.vfat teste [EMAIL PROTECTED]/tmp] # echo teste de escrita na ro teste/teste.txt bash: teste/teste.txt: Sistema de arquivos somente para leitura [EMAIL PROTECTED]/tmp] # df -h FilesystemSize Used Avail Use% Mounted on /dev/hda2 5.7G 3.6G 2.0G 64% / /dev/hda1 15M 5.1M 9.3M 35% /boot /dev/hda3 3.5G 1.3G 2.0G 39% /hda3 /tmp/teste.vfat 5.8M 0 5.8M 0% /tmp/teste bom... não aqui =) vai ver em algum kernel mais antigo... ou com uma partição maior... []s! -- Gustavo Noronha Silva - kov http://www.metainfo.org/kov ** | .''`. | Debian GNU/Linux: http://www.debian.org| | : :' : | Debian BR...: http://debian-br.sourceforge.net | | `. `'` | Be Happy! Be FREE! | | `-| Think globally, act locally! | **
Re: Gráfico
On Tue, 26 Jun 2001, Nitrogen wrote: Não sei se esta é uma pergunta para uma lista de sistema operacional, ou para um compilador em específico. O fato é que eu gostaria de inicializar gráficos (320x240x16) no terminal do linux (assim como o DOS é capaz de fazer), mas não sei se é possível. Alguém teria uma sugestão? Acho que você tem três opções: SVGAlib, X Server e frame buffer. Não conheço bem o frame buffer (aka fb), é um modo gráfico suportado dentro do kernel e com emulação de console para uso como se fosse uma console alfanumérica. O X server pode ser o XF86_SVGA com um XF86Config corretamente configurado. Tem X server para operar sobre o fb. SVGAlib é uma biblioteca gráfica de uso geral. Também funciona com fb. Não respondí exatamente sua pergunta, mas acho que as dicas acima ajudam para você procurar o que precisa. --- Wagner [EMAIL PROTECTED]
Re: Ambiente de desenvolvimento.
Em 29 Jun 2001 00:12:41 -0300, Raphael D Pereira escreveu: On Thu 28 Jun 2001 16:42, Gustavo Noronha Silva wrote: heh... meu emacs21, rodando em cima do gnome tá lindo =), não acho que o Gtk Emacs vá melhorar muito... ele deve ser feito em cima do xemacs que é horrível... Não é horrível não, que é isso... Quer dizer, a interface Motif de XEmacs realmente não é a coisa mais linda do mundo. Mas com inteface GTK ficou outra coisa. Uso o GTK/XEmacs aqui, a bom contento. Só preciso me familiarizar mais com o editor. Ainda sou do time de VIM :) -- Ja ne, Marcus Brito mailto: [EMAIL PROTECTED] Anime Gaiden - De fãs para fãs, sempre. http://www.animegaiden.com.br