Thread View: fj.sci.math
2 messages
2 total messages
Started by Shingo MATSUMOTO
Thu, 12 Nov 1992 08:27
intuitionism & constructivism (Re: Q in int. math.)
Author: Shingo MATSUMOTO
Date: Thu, 12 Nov 1992 08:27
Date: Thu, 12 Nov 1992 08:27
28 lines
1989 bytes
1989 bytes
$@$^$D$b$H!w?t3X2J%/%:%l(J
In article <ISHIHARA.92Nov11130128@is15e0s10.jaist-east.ac.jp> ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara) writes:
| >>$@$=$N!V9-$$0UL#$G$N9=@.<g5A!W$H$$$&$b$N$N@5BN$,!"%$%a!<%8$,!"$J$s$+A4A3(J
| >>$@DO$a$J$$$s$G$9!#(J
| >>Bishop $@$H$+$rFI$`$7$+$J$$$s$G$7$g$&$+!)(J
| Brouwer$@$ND>4Q<g5A!"(JMarkov$@$N9=@.<g5A$H(JBishop$@$N9=@.E*?t3X$r%$%a!<%8$7$F$$$^$9!#(J
$@!V9-$$0UL#$G$N9=@.<g5A!W$H(J
$@!V69$$0UL#$G$N9=@.<g5A!W$N0c$$$H$$$&$N$O(J
$@7?!J=89g!K$rDj5A$9$k$H$-$K(J
impredicative$@$G$b$h$$$N$+(J
predicative$@$G$J$1$l$P$$$1$J$$$N$+(J
$@$H$$$&$3$H$G$9$+!)(J
$@$3$3$G(Jpredicative$@$J7?Dj5A$H$O!"$9$G$K$"$k7?$N$_$rMQ$$$F?7$?$J7?$rDj5A$9$k$3$H!#(J
impredicative$@$J7?Dj5A$O!"7?$rF0$/JQ?t$rMQ$$$k$+$i!"(Jpredicative$@$J$b$N$h$j6/NO!#(J
$@!t>\$7$$$3$H$O!"@lLg2H$N>.NS@h@8$K2r@b$r8f4j$$$7$?$$!#(J(^^;)
$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
$@!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(J (Shingo Matumoto)$@!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!!!!!E4!!!!(Jshingo@ipc02.rtri.or.jp$@!!!!!!!!!!!!!!(J $@!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(J
$@!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(J
$@!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
Re: intuitionism & constructivism (Re: Q in int. math.)
Author: Hajime Ishihara
Date: Fri, 13 Nov 1992 00:35
Date: Fri, 13 Nov 1992 00:35
19 lines
1417 bytes
1417 bytes
$@@P86!wKLN&@h(J$@C<Bg$G$9!#(J In article <525@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes: >>$@!V9-$$0UL#$G$N9=@.<g5A!W$H(J >>$@!V69$$0UL#$G$N9=@.<g5A!W$N0c$$$H$$$&$N$O(J >>$@7?!J=89g!K$rDj5A$9$k$H(J$@$-$K(J >>impredicative$@$G$b$h$$$N$+(J >>predicative$@$G$J$1$l$P$$$1$J$$$N$+(J >>$@$H$$$&$3$H$G$9$+!)(J >> >>$@$3$3$G(Jpredicative$@$J7?Dj5A$H$O!"$9$G$K$"$k7?$N$_$rMQ$$$F?7$?$J7?$rDj5A$9$k$3$H!#(J >>impredicative$@$J7?Dj5A$O!"7?$rF0$/JQ?t$rMQ$$$k$+$i!"(Jpredicative$@$J$b$N$h$j6/NO!#(J $@!V9-$$!W$H$$$&$N$O;d$,>!<j$K(J$@;H$C$?8@MU$G!"?t3XE*$JDj5A$K$OBP1~$7$F$$$^$;$s!#(J -- $@@P86(J $@:H(J : $@KLN&@hC<2J3X5;=QBg3X1!Bg3X(J $@>pJs2J3X8&(J$@5f2J!J>pJsO@M}3X!K(J
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads