|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2026logica-para-pessoas.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2026logica-para-pessoas.tex" :end))
% (defun C () (interactive) (find-LATEXsh "lualatex 2026logica-para-pessoas.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page "~/LATEX/2026logica-para-pessoas.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2026logica-para-pessoas.pdf"))
% (defun e () (interactive) (find-LATEX "2026logica-para-pessoas.tex"))
% (defun l () (interactive) (find-LATEX "2026logica-para-pessoas.lua"))
% (defun o () (interactive) (find-LATEX "2025adapting-lean-tuts.tex"))
% (defun u () (interactive) (find-latex-upload-links "2026logica-para-pessoas"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun d0 () (interactive) (find-ebuffer "2026logica-para-pessoas.pdf"))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (defun oe () (interactive) (find-2a '(o) '(e)))
% (code-eec-LATEX "2026logica-para-pessoas")
% (find-pdf-page "~/LATEX/2026logica-para-pessoas.pdf")
% (find-sh0 "cp -v ~/LATEX/2026logica-para-pessoas.pdf /tmp/")
% (find-sh0 "cp -v ~/LATEX/2026logica-para-pessoas.pdf /tmp/pen/")
% (find-xournalpp "/tmp/2026logica-para-pessoas.pdf")
% file:///home/edrx/LATEX/2026logica-para-pessoas.pdf
% file:///tmp/2026logica-para-pessoas.pdf
% file:///tmp/pen/2026logica-para-pessoas.pdf
% http://anggtwu.net/LATEX/2026logica-para-pessoas.pdf
% (find-LATEX "2019.mk")
% (find-Deps1-links "Caepro5 Piecewise2 Maxima2")
% (find-Deps1-cps "Caepro5 Piecewise2 Maxima2")
% (find-Deps1-anggs "Caepro5 Piecewise2 Maxima2")
% (find-MM-aula-links "2026logica-para-pessoas" "2" "wld2026" "lpp")
%
% https://mail.google.com/mail/u/0/#sent/FMfcgzQdzmZVqVgnLFsXqLtXZjRTHvCW Convite do Wacs
% «.screenshotdimens» (to "screenshotdimens")
% «.geometries» (to "geometries")
% «.screenshotgeometry» (to "screenshotgeometry")
% «.defs» (to "defs")
% «.defs-T-and-B» (to "defs-T-and-B")
% «.defs-caepro» (to "defs-caepro")
% «.defs-pict2e» (to "defs-pict2e")
% «.defs-maxima» (to "defs-maxima")
% «.defs-V» (to "defs-V")
% «.title» (to "title")
% «.links» (to "links")
% «.example-6» (to "example-6")
%
% «.tres-alunos» (to "tres-alunos")
% «.tres-alunos-2» (to "tres-alunos-2")
% «.zumbis» (to "zumbis")
% «.feynman» (to "feynman")
% «.halmos» (to "halmos")
% «.titulares» (to "titulares")
%
% «.make-with-bib» (to "make-with-bib")
%newpage %-- defs
\documentclass[oneside,12pt]{article}
\usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
\usepackage{colorweb} % (find-es "tex" "colorweb")
%\usepackage{tikz}
%
% (find-LATEX "dednat7-test1.tex")
%\usepackage{proof} % For derivation trees ("%:" lines)
%\input diagxy % For 2D diagrams ("%D" lines)
%\xyoption{curve} % For the ".curve=" feature in 2D diagrams
%
\usepackage{edrx21} % (find-LATEX "edrx21.sty")
\input edrxaccents.tex % (find-LATEX "edrxaccents.tex")
\input edrx21chars.tex % (find-LATEX "edrx21chars.tex")
\input edrxheadfoot.tex % (find-LATEX "edrxheadfoot.tex")
\input edrxgac2.tex % (find-LATEX "edrxgac2.tex")
%
% (find-es "tex" "geometry")
% «screenshotdimens» (to ".screenshotdimens")
% Based on: (emacsconf2021a "screenshotdimens")
\newdimen\slidewidth
\slidewidth=15cm
\slidewidth=10.5cm
\slidewidth=16cm
\usepackage[paperwidth=\slidewidth,
paperheight=0.625\slidewidth,
top=1.5cm, bottom=.25cm, left=1cm, right=1cm, includefoot
]{geometry}
%
\usepackage[backend=biber,
style=alphabetic]{biblatex} % (find-es "tex" "biber")
\addbibresource{catsem-ab.bib} % (find-LATEX "catsem-ab.bib")
\addbibresource{education.bib} % (find-LATEX "education.bib")
%
\begin{document}
% ____ _ _
% / ___| ___ ___ _ __ ___ ___| |_ _ __(_) ___ ___
% | | _ / _ \/ _ \| '_ ` _ \ / _ \ __| '__| |/ _ \/ __|
% | |_| | __/ (_) | | | | | | __/ |_| | | | __/\__ \
% \____|\___|\___/|_| |_| |_|\___|\__|_| |_|\___||___/
%
% «geometries» (to ".geometries")
% «screenshotgeometry» (to ".screenshotgeometry")
% (find-LATEX "2021emacsconf.tex" "geometries")
% (find-es "tex" "pagestyle")
\savegeometry{original}
\newgeometry{top=0cm, left=0cm, right=0cm, ignoreheadfoot, bottom=0cm}
\savegeometry{screenshot}
\loadgeometry{original}
%
\def\originalgeometry{
\loadgeometry{original}
\setlength{\parindent}{18pt}
\pagestyle{headings}}
\def\screenshotgeometry{
\loadgeometry{screenshot}
\setlength{\parindent}{0cm}
\pagestyle{empty}}
% «defs» (to ".defs")
% (find-LATEX "edrx21defs.tex" "colors")
% (find-LATEX "edrx21.sty")
\def\drafturl{http://anggtwu.net/LATEX/2025-2-C2.pdf}
\def\drafturl{http://anggtwu.net/2025.2-C2.html}
\def\draftfooter{\tiny \href{\drafturl}{\jobname{}} \ColorBrown{\shorttoday{} \hours}}
% (find-LATEX "2024-1-C2-carro.tex" "defs-caepro")
% (find-LATEX "2024-1-C2-carro.tex" "defs-pict2e")
\catcode`\^^J=10
\directlua{dofile "dednat7load.lua"} % (find-LATEX "dednat7load.lua")
\directlua{dednat7preamble()} % (find-angg "LUA/DednatPreamble1.lua")
\directlua{dednat7oldheads()} % (find-angg "LUA/Dednat7oldheads.lua")
% «defs-T-and-B» (to ".defs-T-and-B")
\long\def\ColorDarkOrange#1{{\color{orange!90!black}#1}}
\def\T(Total: #1 pts){{\bf(Total: #1)}}
\def\T(Total: #1 pts){{\bf(Total: #1 pts)}}
\def\T(Total: #1 pts){\ColorRed{\bf(Total: #1 pts)}}
\def\B (#1 pts){\ColorDarkOrange{\bf(#1 pts)}}
% «defs-caepro» (to ".defs-caepro")
%L dofile "Caepro5.lua" -- (find-angg "LUA/Caepro5.lua" "LaTeX")
\def\Caurl #1{\expr{Caurl("#1")}}
\def\Cahref#1#2{\href{\Caurl{#1}}{#2}}
\def\Ca #1{\Cahref{#1}{#1}}
% «defs-pict2e» (to ".defs-pict2e")
%L dofile "Piecewise2.lua" -- (find-LATEX "Piecewise2.lua")
%L --dofile "Escadas1.lua" -- (find-LATEX "Escadas1.lua")
\def\pictgridstyle{\color{GrayPale}\linethickness{0.3pt}}
\def\pictaxesstyle{\linethickness{0.5pt}}
\def\pictnaxesstyle{\color{GrayPale}\linethickness{0.5pt}}
\celllower=2.5pt
% «defs-maxima» (to ".defs-maxima")
%L dofile "Maxima2.lua" -- (find-angg "LUA/Maxima2.lua")
\pu
% «defs-V» (to ".defs-V")
%L --- See: (find-angg "LUA/MiniV1.lua" "problem-with-V")
%L V = MiniV
%L v = V.fromab
\pu
\def\SLIDE#1{{\bf #1}}
\newpage %-- title
% _____ _ _ _
% |_ _(_) |_| | ___ _ __ __ _ __ _ ___
% | | | | __| |/ _ \ | '_ \ / _` |/ _` |/ _ \
% | | | | |_| | __/ | |_) | (_| | (_| | __/
% |_| |_|\__|_|\___| | .__/ \__,_|\__, |\___|
% |_| |___/
%
% «title» (to ".title")
% (wld2026p 1 "title")
% (wld2026a "title")
\thispagestyle{empty}
\begin{center}
\vspace*{1.2cm}
\begin{tabular}{c}
{\Large {\bf Lógica pra pessoas que sabem}} \\[4pt]
{\Large {\bf resolver $2+x=5$ mas não sabem}} \\[4pt]
{\Large {\bf substituir $x$ por $3$ em $2+x=5$}} \\[4pt]
\\[-9pt]
\ColorGray{(World Logic Day 2026)}\\[-5pt]
\\[-9pt]
% https://anggtwu.net/math-b.html#2026-wld
{\tiny\url{https://anggtwu.net/math-b.html\#2026-wld}}\\[8pt]
Eduardo Ochs - RCN/PURO/UFF
\end{tabular}
\end{center}
\newpage %-- links
% «links» (to ".links")
% (wld2026p 2 "links")
% (wld2026a "links")
{\bf Links}
\scalebox{0.6}{\def\colwidth{16cm}\firstcol{
}\anothercol{
}}
\newpage %-- example-6
% «example-6» (to ".example-6")
% (wld2026p 99 "example-6")
% (wld2026a "example-6")
\SLIDE{example-6}
\def\eqnp #1{\overset{\scriptscriptstyle(#1)}{=}}
\def\Eqn #1{\eqnp{#1}} % temporary
\def\lstandout #1#2{\standout{${#2}$}_{\text{#1}}}
\def\luastandout#1#2{\lstandout{#1}{#2}} % temporary
\def\Eqn #1{\luastandout {=#1} {\eqnp{#1}}}
%L standout_no = function (tag) return "" end
%L standout_sl = function (tag) return format("\\lstandout {%s}", tag) end
%L standout_s = function (tag) return format("\\lstandout {}", tag) end
%L luastandout = function (tag)
%L if tag:match"^E" then return standout_no(tag) end
%L if tag:match"^[LR]4$" then return standout_s (tag) end
%L if tag:match"^[LR]6$" then return standout_sl(tag) end
%L return ""
%L end
%L
%L standoutspec = {{"^E","no"}, {"^[LR]4$","s"}, {"^[LR]6$","sl"}, {"","no"}}
%L luastandout = function (tag)
%L for _,pair in ipairs(standoutspec) do
%L local re,kind = pair[1]:gsub("_","$"),pair[2]
%L if tag:match(re) then return _G["standout_"..kind](tag) end
%L end
%L return standout_sl(tag)
%L end
%L
%L standout_eq_Es = function (n)
%L standoutspec = {{"^[E=]"..n.."_","s"}, {"^E"..(n+1).."_","s"}, {"","no"}}
%L end
%L standout_eq_LR = function (n)
%L standoutspec = {{"^[LR=]"..n.."_","s"}, {"","no"}}
%L end
\pu
\def\luastandout #1{\expr{ luastandout("#1") }}
\def\standoutspec#1{\eval{ standoutspec = {#1} }}
\standoutspec{{"^E","no"}, {"^[LR]4$","s"}, {"^[LR]6$","sl"}, {"","no"}}
\standoutspec{{"=4","sl"}, {"[LR]4","s"}, {"[LR][67]","sl"}, {"","no"}}
\standoutspec{{"^E","no"}, {"^[LR]1_","s"}, {"^[LR][67]_","sl"}, {"","no"}}
\standoutspec{{"","s"}}
\eval{standout_eq_Es(2)}
\eval{standout_eq_LR(3)}
% (find-LATEX "edrx21.sty" "dednat6")
\sa{example 6 defs}{
\sa {E1} {\luastandout {E1} {\luastandout {L1} {((6x^3)(7x^4))'}}}
\sa {E2} {\luastandout {E2} {\luastandout {R1} {\luastandout {L2} {\ddx((6x^3)(7x^4))}}}}
\sa {E3} {\luastandout {E3} {\luastandout {R2} { (6x^3)\ddx(7x^4) + (7x^4) \luastandout {L3} {\ddx(6x^3)} }}}
\sa {E4} {\luastandout {E4} {(6x^3)\ddx(7x^4) + (7x^4) · \luastandout {R3} {6 · \luastandout {L4} {\ddx x^3}}}}
\sa {E5} {\luastandout {E5} {(6x^3)\ddx(7x^4) + (7x^4) · \luastandout {L5} {6 · \luastandout {R4} {3 x^2}}}}
\sa {E6} {\luastandout {E6} {(6x^3) \luastandout {L6} {\ddx(7x^4)} + (7x^4) \luastandout {R5} {(18x^2)}}}
\sa {E7} {\luastandout {E7} {(6x^3)·\luastandout {R6} {7 \luastandout {L7} {\ddx x^4}} + (7x^4)(18x^2)}}
\sa {E8} {\luastandout {E8} {(6x^3)·\luastandout {L8} {7·\luastandout {R7} {4x^3}} + (7x^4)(18x^2)}}
\sa {E9} {\luastandout {E9} {(6x^3) \luastandout {R8} {(28x^3)} + \luastandout {L9} {(7x^4)(18x^2)}}}
\sa {E10} {\luastandout {E10} {\luastandout {L10} {(6x^3)(28x^3)} + \luastandout {R9} {126x^6}}}
\sa {E11} {\luastandout {E11} {\luastandout {L11} {\luastandout {R10} {168x^6} + 126x^6}}}
\sa {E12} {\luastandout {E12} {\luastandout {R11} {294x^6}}}
}
\ga{example 6 defs}
\sa{example 6 array rcl}{
\begin{array}{rcl}
\ga{E1} & \Eqn{1} & \ga{E2} \\
& \Eqn{2} & \ga{E3} \\
& \Eqn{3} & \ga{E4} \\
& \Eqn{4} & \ga{E5} \\
& \Eqn{5} & \ga{E6} \\
& \Eqn{6} & \ga{E7} \\
& \Eqn{7} & \ga{E8} \\
& \Eqn{8} & \ga{E9} \\
& \Eqn{9} & \ga{E10} \\
& \Eqn{10} & \ga{E11} \\
& \Eqn{11} & \ga{E12} \\
\end{array}
}
\scalebox{0.6}{\def\colwidth{9cm}\firstcol{
$$\sa{example 6 array rcl}$$
}}
\newpage %-- tres-alunos
% «tres-alunos» (to ".tres-alunos")
% (wld2026p 99 "tres-alunos")
% (wld2026a "tres-alunos")
\SLIDE{Termos improvisados: três alunos imaginários}
\def\Steve{\standout{S}teve}
\def\Tiago{\standout{T}iago}
\def\Victor{\standout{Vic}tor}
\scalebox{0.75}{\def\colwidth{14cm}\firstcol{
O \Steve{} é um aluno \standout{S}em base.
O \Tiago{} é um aluno \standout{T}otalmente sem base.
O \Victor{} é um aluno \standout{Vic}iado em ChatGPT.
\bsk
\bsk
O \Steve{} não sabe, ou não lembra, coisas como $e^a e^b = e^{a+b}$...
Mas o \Steve{} sabe fazer boas perguntas.
O \Steve{} é ótimo, e turmas cheias de \Steve{}s são maravilhosas.
\bsk
O \Tiago{} acha que Matemática é decorar métodos.
O \Tiago{} acha que Matemática é decorar métodos {\sl o mais rápido possível}.
O \Tiago{} sabe resolver $2+x=5$, mas quando a gente pede pra ele
testar as contas dele ele só sabe fazer as mesmas contas de novo.
Idéias como ``prova real'' e ``substituir $x$ por 3'' não fazem
sentido pra ele.
Lidar com turmas cheias de \Tiago{}s já era desesperador \& apavorante...
\bsk
...e agora a gente tem turmas cheias de \Victor{}s, o que é 1000× pior.
}\anothercol{
}}
\newpage %-- tres-alunos-2
% «tres-alunos-2» (to ".tres-alunos-2")
% (wld2026p 99 "tres-alunos-2")
% (wld2026a "tres-alunos-2")
\SLIDE{Termos improvisados: três alunos imaginários (2)}
\scalebox{0.7}{\def\colwidth{18cm}\firstcol{
O \Steve{} é um aluno \standout{S}em base.
O \Tiago{} é um aluno \standout{T}otalmente sem base.
O \Victor{} é um aluno \standout{Vic}iado em ChatGPT.
\bsk
O \Victor{} nunca fala comigo nas aulas. As minhas aulas têm uma parte
pequena expositiva e o resto é exercícios e discussão, e quando eu
passo pelo grupo do \Victor{}, que tem ele e os amigos $A_1$ e $A_2$,
eles só dizem que não têm dúvida nenhuma não, que tá tudo bem.
\msk
Na prova o \Victor{} chegou no resultado certo na questão 2 mas a
solução dele tinha um passo sem pé nem cabeça igualzinho ao do $A_1$.
Eu dou 0 pra ele nessa questão.
\msk
Na vista de prova eu peço pra ele me explicar aquilo, e ele só diz
coisas como ``Tá igual ao livro! TÁ IGUAL! TÁ IGUAL!!!'' e ``na hora
eu sabia, mas agora eu esqueci!!!''
\msk
Eu gravo essa cena na câmera do celular, e gravo o dia em que o pai
dele vem gritar comigo. Eu digo pra ele fazer um Requerimento de
Revisão de Prova (que vai ter uma banca com professores do meu
departamento) e uma reclamação na Coordenação de Curso (no depto de
Engenharia de Produção). Eu registro tudo, porque eu estou
colecionando provas de que tanto o meu departamento quanto a EP estão
infestados de zumbis.
\msk
Eu ACHO que o Victor e os amigos dele são viciados em ChatGPT, mas eu
não tenho provas.
}\anothercol{
}}
\newpage %-- zumbis
% «zumbis» (to ".zumbis")
% (wld2026p 99 "zumbis")
% (wld2026a "zumbis")
\SLIDE{Termos improvisados: zumbis}
\scalebox{0.75}{\def\colwidth{8cm}\firstcol{
{}
O meu campus tá cheio de professores que ``não têm tempo'' de ler nada
e nem de abrir link nenhum.
\msk
Eu precisava de um termo curto pra me referir a eles, e eu aprendi que
quando a gente não encontra um termo bom a gente pode usar um termo
improvisado, engraçado, {\sl avisando que é um termo temporário e que
a gente tá usando ele \ColorRed{enquanto não encontra outro termo
melhor}.}
\msk
Eu resolvi chamar os professores que ``não têm tempo'' de ler nada e
nem de abrir link nenhum de ``\standout{zumbis}''.
}\anothercol{
{}
Pra mim -- \ColorRed{PRA MIM} -- ser zumbi deveria ser incompatível
com ser um professor universitário numa universidade federal de
renome.
\msk
Agora o meu campus tá infestado de zumbis.
Isso é o \standout{Apocalipse Zumbi}.
\msk
O meu departamento tinha um cara 100\% lúcido, íntegro, e confiável --
o Walter.
O Walter virou um zumbi.
Isso é o \standout{Sinal do Apocalipse}.
}}
\newpage %-- feynman
% «feynman» (to ".feynman")
% (wld2026p 99 "feynman")
% (wld2026a "feynman")
% (find-TH "2025-feynman")
\SLIDE{Feynman}
\newpage %-- halmos
% «halmos» (to ".halmos")
% (wld2026p 99 "halmos")
% (wld2026a "halmos")
% (find-books "__analysis/__analysis.el" "sfard" "29" "For example, Paul Halmos recalls")
\SLIDE{Halmos}
\scalebox{0.9}{\def\colwidth{6.5cm}\firstcol{
{}
(From \cite[p.29]{Sfard}:)
\bsk
I was a student, sometimes pretty good and sometimes less good.
Symbols didn't bother me. I could juggle them quite well... [but] I
was stumped by the infinitesimal subtlety of epsilonic analysis. I
could read analytic proofs, remember them if I made an effort, and
reproduce them, sort of, but I didn't really know what was going on.
\bsk
(...)
\bsk
}\anothercol{
One afternoon something happened. I remember standing at the
blackboard in Room 213 of the mathematics building talking with Warren
Ambrose \ColorRed{and suddenly I understood epsilons}. I understood
what limits were, and all of the stuff that people had been drilling
into me became clear. I sat down that afternoon with the calculus
textbook by Granville, Smith, and Longley. \ColorRed{All of that stuff
that previously had not made any sense became obvious.}
}}
\newpage %-- titulares
% «titulares» (to ".titulares")
% (wld2026p 99 "titulares")
% (wld2026a "titulares")
\SLIDE{Dois professores titulares}
\scalebox{0.6}{\def\colwidth{9cm}\firstcol{
{}
Agora o meu departamento tem dois professores titulares, o Walter
Machado Pinheiro e Etel Gimba, e os dois são zumbis...
\msk
Em 2022.1, quando as aulas voltaram a ser presenciais, a Etel, que era
a minha chefe de departamento na época, me disse pra eu dar provas
finais extras pras minhas turmas no ``período de ajustes'' no início
do semestre seguinte, e depois ela abriu um processo administrativo
contra mim...
\msk
Esse processo era tão mal feito que a única acusação bem documentada
dele era que eu dei essas provas finais extras, que violavam um montão
de regras. Eu mostrei pra banca do processo administrativo que foi a
Etel que inventou e pediu essas provas finais extras, e levei uma
advertência por ter seguido ordens absurdas, e só.
\msk
Era pra esse processo ter terminado em 2023 mas falta a banca preparar
uns últimos documentos
}\anothercol{
}}
%newpage %-- footer
\GenericWarning{Success:}{Success!!!} % Used by `M-x cv'
\end{document}
%newpage %-- make-with-bib
% «make-with-bib» (to ".make-with-bib")
% (misa "make-arxiv")
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd ~/LATEX/
which biber
biber --version
make -f 2019.mk STEM=2026logica-para-pessoas veryclean
lualatex 2026logica-para-pessoas.tex
biber 2026logica-para-pessoas
lualatex 2026logica-para-pessoas.tex
# (find-pdf-page "~/LATEX/2026logica-para-pessoas.pdf")
% (find-pdfpages2-links "~/LATEX/" "2026logica-para-pessoas")
% Local Variables:
% coding: utf-8-unix
% outline-regexp: "[%\\\\]newpage %--"
% ee-tla: "lpp"
% ee-tla: "wld2026"
% End: